Make macro for d in integrals

This commit is contained in:
flyingscorpio@arch-desktop 2021-10-04 22:08:27 +02:00
parent 147a66168d
commit 4a8459bb21
3 changed files with 50 additions and 49 deletions

View file

@ -523,15 +523,15 @@
Étudier la convergence des intégrales généralisées suivantes.
\paragraph{$(I_1)$}
$\int_1^{+\infty} \frac{2x + x^3}{x^3 + x^4} \,\mathrm{d}x$
$\int_1^{+\infty} \frac{2x + x^3}{x^3 + x^4} \dif x$
\begin{align*}
\forall x \in [1; +\infty[\quad \frac{2x + x^3}{x^3 + x^4} \geq 0 \\\\
\frac{2x + x^3}{x^3 + x^4} = \frac{x^3(\frac{2}{x^2} + 1)}{x^4(\frac{1}{x} + 1)} \sim \frac{x^3}{x^4} \sim \frac{1}{x} \\
\text{Or } \int_1^{+\infty}\frac{1}{x}\,\mathrm{d}x \text{ diverge donc $I_1$ diverge par équivalence.} \\
\text{Or } \int_1^{+\infty}\frac{1}{x}\dif x \text{ diverge donc $I_1$ diverge par équivalence.} \\
\end{align*}
\paragraph{$(I_2)$}
$\int_0^{+\infty} \frac{x\sqrt{x}}{x^2 \sqrt[3]{x} + 4} \,\mathrm{d}x$
$\int_0^{+\infty} \frac{x\sqrt{x}}{x^2 \sqrt[3]{x} + 4} \dif x$
\begin{align*}
\forall x \in [0; +\infty[\quad \frac{x\sqrt{x}}{x^2 \sqrt[3]{x} + 4} \geq 0 \\\\
\frac{x\sqrt{x}}{x^2 \sqrt[3]{x} + 4}
@ -540,11 +540,11 @@
\sim x^{\frac{3}{2} - \frac{7}{3}}
\sim x^{-\frac{5}{6}}
\sim \frac{1}{x^{\frac{5}{6}}} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^{\frac{5}{6}}}\,\mathrm{d}x \text{ diverge donc $I_2$ diverge par équivalence.} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^{\frac{5}{6}}}\dif x \text{ diverge donc $I_2$ diverge par équivalence.} \\
\end{align*}
\paragraph{$(I_3)$}
$\int_1^{+\infty} \frac{5x + x^2}{x^3 + x^3\sqrt{x}} \,\mathrm{d}x$
$\int_1^{+\infty} \frac{5x + x^2}{x^3 + x^3\sqrt{x}} \dif x$
\begin{align*}
\forall x \in [1; +\infty[\quad \frac{5x + x^2}{x^3 + x^3\sqrt{x}} \geq 0 \\\\
\frac{5x + x^2}{x^3 + x^3\sqrt{x}}
@ -552,11 +552,11 @@
= \frac{x^2(\frac{5}{x} + 1)}{x^{3 + \frac{1}{2}}(\frac{1}{\sqrt{x}} + 1)}
\sim \frac{x^2}{x^{\frac{7}{2}}}
\sim \frac{1}{x^{\frac{3}{2}}} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^{\frac{3}{2}}}\,\mathrm{d}x \text{ converge donc $I_3$ converge par équivalence.} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^{\frac{3}{2}}}\dif x \text{ converge donc $I_3$ converge par équivalence.} \\
\end{align*}
\paragraph{$(I_4)$}
$\int_0^{+\infty} \frac{x \sqrt[3]{x}}{x^2\sqrt{x} + 5} e^{-x} \,\mathrm{d}x$
$\int_0^{+\infty} \frac{x \sqrt[3]{x}}{x^2\sqrt{x} + 5} e^{-x} \dif x$
\begin{align*}
\forall x \in [0; +\infty[ \quad \frac{x \sqrt[3]{x}}{x^2\sqrt{x} + 5} e^{-x} \geq 0 \\\\
\frac{x \sqrt[3]{x}}{x^2\sqrt{x} + 5} e^{-x}
@ -564,7 +564,7 @@
\sim \frac{x^{\frac{4}{3}}}{x^{\frac{5}{2}}} e^{-x}
\sim x^{\frac{-7}{6}} e^{-x}
\sim \frac{1}{x^{\frac{7}{6}}} e^{-x} \\
\text{Or } \int_0^{+\infty}\frac{1}{x^{\frac{7}{6}}} e^{-x}\,\mathrm{d}x \text{ converge (l'exponentielle l'emporte) donc $I_4$ converge par équivalence.} \\
\text{Or } \int_0^{+\infty}\frac{1}{x^{\frac{7}{6}}} e^{-x}\dif x \text{ converge (l'exponentielle l'emporte) donc $I_4$ converge par équivalence.} \\
(\sim e^{-kx} \text{ avec } k = 1 > 0)
\end{align*}
@ -573,7 +573,7 @@
Étudier la convergence absolue de l'intégrale généralisée suivante.
\paragraph{$(I_5)$}
$\int_1^{+\infty} \frac{\sin x}{x^2} \,\mathrm{d}x$
$\int_1^{+\infty} \frac{\sin x}{x^2} \dif x$
$(I_5)$ n'est pas strictement positif sur $[1;+\infty[$.
Nous allons donc étudier sa valeur absolue.
@ -581,7 +581,7 @@
-1 \leq \sin{x} \leq 1 \\
0 \leq |\sin{x}| \leq 1 \\
0 \leq \left|\frac{\sin{x}}{x^2}\right| \leq \frac{1}{x^2} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^2}\,\mathrm{d}x \text{ converge donc } \left|\frac{\sin{x}}{x^2}\right| \text{ converge par majoration.} \\
\text{Or } \int_1^{+\infty}\frac{1}{x^2}\dif x \text{ converge donc } \left|\frac{\sin{x}}{x^2}\right| \text{ converge par majoration.} \\
\implies I_5 \text{ converge absolument.} \\
\end{align*}

View file

@ -128,19 +128,19 @@
\subsection{Intégrales}
\begin{equation*}
\int_a^b f(x)\,\mathrm{d}x = [F(x)]_a^b = F(b) - F(a)
\int_a^b f(x)\dif x = [F(x)]_a^b = F(b) - F(a)
\end{equation*}
\subsubsection{Intégration par parties}
\begin{equation*}
\int_a^b uv'\,\mathrm{d}x = [uv]_a^b - \int_a^b u'v\,\mathrm{d}x
\int_a^b uv'\dif x = [uv]_a^b - \int_a^b u'v\dif x
\end{equation*}
\subsubsection{Intégration par changement de variables}
\begin{equation*}
\int_a^b f(x)\,\mathrm{d}x = \int_{u(a)}^{u(b)} f(u)\,\frac{\mathrm{d}u}{u'}
\int_a^b f(x)\dif x = \int_{u(a)}^{u(b)} f(u)\frac{\dif u}{u'}
\end{equation*}
\subsection{Équations différentielles}
@ -169,13 +169,13 @@
\toprule
Intégrale & converge si & diverge si \\
\toprule
$\int_a^{+\infty}\frac{1}{x^{\alpha}}\,\mathrm{d}x$ & $\alpha > 1$ & $\alpha \leq 1$ \\
$\int_a^{+\infty}\frac{1}{x^{\alpha}}\dif x$ & $\alpha > 1$ & $\alpha \leq 1$ \\
\midrule
$\int_a^{+\infty}e^{-\alpha x}\,\mathrm{d}x$ & $\alpha > 0$ & $\alpha \leq 0$ \\
$\int_a^{+\infty}e^{-\alpha x}\dif x$ & $\alpha > 0$ & $\alpha \leq 0$ \\
\midrule
$\int_a^{+\infty}x^n e^{-\alpha x}\,\mathrm{d}x$ & $\alpha > 0$ & $\alpha \leq 0$ \\
$\int_a^{+\infty}x^n e^{-\alpha x}\dif x$ & $\alpha > 0$ & $\alpha \leq 0$ \\
\midrule
$\int_a^{+\infty}\frac{1}{x^{\alpha}(\ln x)^{\beta}}\,\mathrm{d}x$ & $(\alpha > 1)$ ou $(\alpha = 1 \text{ et }\beta > 1)$ & $(\alpha < 1)$ ou $(\alpha = 1 \text{ et }\beta \leq 1)$ \\
$\int_a^{+\infty}\frac{1}{x^{\alpha}(\ln x)^{\beta}}\dif x$ & $(\alpha > 1)$ ou $(\alpha = 1 \text{ et }\beta > 1)$ & $(\alpha < 1)$ ou $(\alpha = 1 \text{ et }\beta \leq 1)$ \\
\bottomrule
\end{tabularx}
@ -183,8 +183,8 @@
Si $0 \leq f(x) \leq g(x)$~:
\begin{align*}
\int_a^{+\infty}g(x)\,\mathrm{d}x \text{ converge } &\implies \int_a^{+\infty}f(x)\,\mathrm{d}x \text{ converge aussi} \\
\int_a^{+\infty}f(x)\,\mathrm{d}x \text{ diverge } &\implies \int_a^{+\infty}g(x)\,\mathrm{d}x \text{ diverge aussi}
\int_a^{+\infty}g(x)\dif x \text{ converge } &\implies \int_a^{+\infty}f(x)\dif x \text{ converge aussi} \\
\int_a^{+\infty}f(x)\dif x \text{ diverge } &\implies \int_a^{+\infty}g(x)\dif x \text{ diverge aussi}
\end{align*}
\clearpage
@ -267,15 +267,15 @@
\paragraph{Exemple}
\begin{align*}
I = \int_0^1 xe^{2x}\,\mathrm{d}x \\
I = \int_0^1 xe^{2x}\dif x \\
u &= x & u' &= 1 \\
v' &= e^{2x} & v &= \frac{1}{2} e^{2x} \\
\end{align*}
La formule $\int_0^1 uv'\,\mathrm{d}x = [uv]_0^1 - \int_0^1 u'v\,\mathrm{d}x$ devient~:
La formule $\int_0^1 uv'\dif x = [uv]_0^1 - \int_0^1 u'v\dif x$ devient~:
\begin{align*}
I &= [\frac{x}{2} e^{2x}]_0^1 - \int_0^1 \frac{1}{2} e^{2x}\,\mathrm{d}x \\
I &= [\frac{x}{2} e^{2x}]_0^1 - \int_0^1 \frac{1}{2} e^{2x}\dif x \\
&= [\frac{x}{2} e^{2x}]_0^1 - \frac{1}{2} [\frac{1}{2} e^{2x}]_0^1 \\
&= [\frac{x}{2} e^{2x}]_0^1 - \frac{1}{4} [e^{2x}]_0^1 \\
&= \frac{e^2}{2} - \frac{1}{4} (e^2 - e^0) \\
@ -288,16 +288,16 @@
\paragraph{Exemple}
\begin{align*}
\int_0^{\ln{\sqrt{3}}} \frac{1}{e^x + e^{-x}}\,\mathrm{d}x\text{,\quad on pose }u&=e^x \\
u' &= e^x = \frac{\mathrm{d}u}{\mathrm{d}x} \\
\mathrm{d}x &= \frac{\mathrm{d}u}{e^x} = \frac{\mathrm{d}u}{u}
\int_0^{\ln{\sqrt{3}}} \frac{1}{e^x + e^{-x}}\dif x\text{,\quad on pose }u&=e^x \\
u' &= e^x = \frac{\dif u}{\dif x} \\
\dif x &= \frac{\dif u}{e^x} = \frac{\dif u}{u}
\end{align*}
Cela nous donne~:
\begin{align*}
\int_{e^0}^{e^{\ln{\sqrt{3}}}} \frac{1}{u + \frac{1}{u}}\,\frac{\mathrm{d}u}{u} \\
&= \int_1^{\sqrt{3}} \frac{1}{u^2 + 1}\,\mathrm{d}u \\
\int_{e^0}^{e^{\ln{\sqrt{3}}}} \frac{1}{u + \frac{1}{u}}\,\frac{\dif u}{u} \\
&= \int_1^{\sqrt{3}} \frac{1}{u^2 + 1}\dif u \\
&= [\arctan{u}]_1^{\sqrt{3}} \\
&= \arctan{\sqrt{3}} - \arctan{1} \\
&= \frac{\pi}{3} - \frac{\pi}{4} = \frac{\pi}{12} \\
@ -551,9 +551,9 @@
\begin{itemize}
\item $I = \int_a^{+\infty} f(x)\,\mathrm{d}x$$f$ est continue sur $[a; +\infty[$.
\item $I = \int_a^{+\infty} f(x)\dif x$$f$ est continue sur $[a; +\infty[$.
\item $J = \int_a^b f(x)\,\mathrm{d}x$$\lim\limits_{x \to a} f(x) = +\infty$ est $f$ continue sur $]a; b[$.
\item $J = \int_a^b f(x)\dif x$$\lim\limits_{x \to a} f(x) = +\infty$ est $f$ continue sur $]a; b[$.
\end{itemize}
@ -561,7 +561,7 @@
\subsection{Convergence --- Divergence}
On définit $I = \int_a^{+\infty} f(x)\,\mathrm{d}x = \lim\limits_{b \to +\infty} \int_a^b f(x)\,\mathrm{d}x$
On définit $I = \int_a^{+\infty} f(x)\dif x = \lim\limits_{b \to +\infty} \int_a^b f(x)\dif x$
Trois cas sont possibles~:
@ -569,12 +569,12 @@
\item Limite finie~: l'intégrale \emph{converge}.
\begin{equation*}
\int_a^{+\infty} f(x)\,\mathrm{d}x = \lim\limits_{b \to +\infty} \int_a^b f(x)\,\mathrm{d}x = l
\int_a^{+\infty} f(x)\dif x = \lim\limits_{b \to +\infty} \int_a^b f(x)\dif x = l
\end{equation*}
\item Limite infinie~: l'intégrale \emph{diverge}, mais la limite existe.
\begin{equation*}
\int_a^{+\infty} f(x)\,\mathrm{d}x = \lim\limits_{b \to +\infty} \int_a^b f(x)\,\mathrm{d}x = +\infty
\int_a^{+\infty} f(x)\dif x = \lim\limits_{b \to +\infty} \int_a^b f(x)\dif x = +\infty
\end{equation*}
\item Pas de limite~: l'intégrale \emph{diverge}.
@ -583,8 +583,8 @@
Par exemple~:
\begin{align*}
I &= \int_1^{+\infty} \frac{1}{x^2}\,\mathrm{d}x \\
&= \lim\limits_{b \to +\infty} \int_1^b \frac{1}{x^2}\,\mathrm{d}x \\
I &= \int_1^{+\infty} \frac{1}{x^2}\dif x \\
&= \lim\limits_{b \to +\infty} \int_1^b \frac{1}{x^2}\dif x \\
&= \lim\limits_{b \to +\infty} [-\frac{1}{x}]_1^b \\
&= \lim\limits_{b \to +\infty} (-\frac{1}{b} + 1) \\
&= 0 + 1 \\
@ -594,21 +594,21 @@
\subsection{Intégrales de référence avec une borne $a > 0$}
\begin{align*}
\int_a^{+\infty} \frac{1}{x^{\alpha}}\,\mathrm{d}x \quad
\int_a^{+\infty} \frac{1}{x^{\alpha}}\dif x \quad
&\left\{
\begin{array}{l}
\text{converge si } \alpha > 1 \\
\text{diverge si } \alpha \leq 1 \\
\end{array}
\right. \\
\int_a^{+\infty} e^{-\alpha x}\,\mathrm{d}x \quad
\int_a^{+\infty} e^{-\alpha x}\dif x \quad
&\left\{
\begin{array}{l}
\text{converge si } \alpha > 0 \\
\text{diverge si } \alpha \leq 0 \\
\end{array}
\right. \\
\int_a^{+\infty} x^n e^{-\alpha x}\,\mathrm{d}x \quad
\int_a^{+\infty} x^n e^{-\alpha x}\dif x \quad
&\left\{
\begin{array}{l}
\text{converge si } \alpha > 0 \\
@ -616,7 +616,7 @@
\end{array}
\right.
\quad \text{(on dit que l'exponentielle l'emporte)} \\
\int_a^{+\infty} \frac{1}{x^\alpha(\ln{x})^{\beta}} \,\mathrm{d}x \quad
\int_a^{+\infty} \frac{1}{x^\alpha(\ln{x})^{\beta}} \dif x \quad
&\left\{
\begin{array}{l}
\text{converge si } (\alpha > 1) \text{ ou } (\alpha = 1 \text{ et } \beta > 1) \\
@ -630,19 +630,19 @@
Si $f$ et $g$ sont deux fonctions continues sur $[a, +\infty[$ et $0 \leq f(x) \leq g(x)$, alors~:
\begin{align*}
\int_a^{+\infty} g(x)\,\mathrm{d}x \text{ converge } &\implies \int_a^{+\infty} f(x)\,\mathrm{d}x \text{ converge aussi} \quad &\color{blue}{(1)} \\
\int_a^{+\infty} f(x)\,\mathrm{d}x \text{ diverge } &\implies \int_a^{+\infty} g(x)\,\mathrm{d}x \text{ diverge aussi} \quad &\color{blue}{(2)} \\
\int_a^{+\infty} g(x)\dif x \text{ converge } &\implies \int_a^{+\infty} f(x)\dif x \text{ converge aussi} \quad &\color{blue}{(1)} \\
\int_a^{+\infty} f(x)\dif x \text{ diverge } &\implies \int_a^{+\infty} g(x)\dif x \text{ diverge aussi} \quad &\color{blue}{(2)} \\
\end{align*}
\textcolor{blue}{(1)} permet de montrer la convergence de $-\int_a^{+\infty} f(x)\,\mathrm{d}x$ par majoration.
\textcolor{blue}{(1)} permet de montrer la convergence de $-\int_a^{+\infty} f(x)\dif x$ par majoration.
\textcolor{blue}{(2)} permet de montrer la divergence de $-\int_a^{+\infty} g(x)\,\mathrm{d}x$ par minoration.
\textcolor{blue}{(2)} permet de montrer la divergence de $-\int_a^{+\infty} g(x)\dif x$ par minoration.
\subsection{Équivalents pour les fonctions positives}
Soient $f$ et $g$ deux fonctions continues sur $[a, +\infty[$ avec $f(x) \geq 0$ et $g(x) \geq 0$.
Si $f(x) \sim g(x)$ quand $x \rightarrow +\infty$, alors $\int_a^{+\infty} f(x)\,\mathrm{d}x$ converge $\iff \int_a^{+\infty} g(x)\,\mathrm{d}x$ converge.
Si $f(x) \sim g(x)$ quand $x \rightarrow +\infty$, alors $\int_a^{+\infty} f(x)\dif x$ converge $\iff \int_a^{+\infty} g(x)\dif x$ converge.
On peut aussi dire que $\frac{f(x)}{g(x)} \rightarrow 1$ quand $x \rightarrow +\infty$.
@ -680,9 +680,9 @@
\begin{align*}
S(x) = a_0 + \sum_{n = 1}^{+\infty} a_n \cos{(n\omega x)} + b_n \sin{(n\omega x)} \\
\text{Avec } \omega &= \frac{2\pi}{T} = \frac{2\pi}{2} = \pi \quad (T = 2 \text{ est la période}) \\
a_0 &= \frac{1}{T}\int_0^T f(x)\,\mathrm{d}x = \frac{1}{T} \int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\,\mathrm{d}x \\
a_n &= \frac{2}{T}\int_0^T f(x)\cos{(n\omega x)}\,\mathrm{d}x = \frac{2}{T} \int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\cos{(n\omega x)}\,\mathrm{d}x \\
b = \frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\sin{(n\omega x)}\,\mathrm{d}x
a_0 &= \frac{1}{T}\int_0^T f(x)\dif x = \frac{1}{T} \int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\dif x \\
a_n &= \frac{2}{T}\int_0^T f(x)\cos{(n\omega x)}\dif x = \frac{2}{T} \int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\cos{(n\omega x)}\dif x \\
b = \frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}} f(x)\sin{(n\omega x)}\dif x
\end{align*}
\subsection{Propriétés}
@ -692,15 +692,15 @@
\item Si $f$ est paire~:
\begin{align*}
&\forall n \geq 1 ; b_n = 0 \\
&a_0 = \frac{2}{T} \int_0^{\frac{T}{2}} f(x) \,\mathrm{d}x \\
&\forall n \geq 1 ; a_n = \frac{4}{T} \int_0^{\frac{T}{2}} f(x) \cos{(n\omega x)} \,\mathrm{d}x
&a_0 = \frac{2}{T} \int_0^{\frac{T}{2}} f(x) \dif x \\
&\forall n \geq 1 ; a_n = \frac{4}{T} \int_0^{\frac{T}{2}} f(x) \cos{(n\omega x)} \dif x
\end{align*}
\item Si $f$ est impaire~:
\begin{align*}
&a_0 = 0 \\
&\forall n \geq 1 ; a_n = 0 \\
&\forall n \geq 1 ; b_n = \frac{4}{T} \int_0^{\frac{T}{2}} f(x) \sin{(n\omega x)} \,\mathrm{d}x
&\forall n \geq 1 ; b_n = \frac{4}{T} \int_0^{\frac{T}{2}} f(x) \sin{(n\omega x)} \dif x
\end{align*}
\end{itemize}

View file

@ -18,6 +18,7 @@
\usepackage{amsmath}
\usepackage{amsfonts}
\everymath{\displaystyle}
\newcommand*\dif{\mathop{}\!\mathrm{d}}
\usepackage{booktabs}
\usepackage{tabularx}