grandes-ecoles 2024 Q2

grandes-ecoles · France · mines-ponts-maths1__mp Integration by Substitution Substitution within a Multi-Part Proof or Derivation
Let $r$ be the function defined by
$$\begin{aligned} r : ] - \pi ; \pi [ & \longrightarrow \mathbf { C } \\ \theta & \longmapsto \int _ { 0 } ^ { + \infty } \frac { t ^ { x - 1 } } { 1 + t e ^ { \mathrm { i } \theta } } \mathrm {~d} t \end{aligned}$$
where $x$ is a fixed element of $]0;1[$. Show that the function $r$ is of class $\mathcal { C } ^ { 1 }$ on $] - \pi ; \pi [$ and that:
$$\forall \theta \in ] - \pi ; \pi \left[ , \quad r ^ { \prime } ( \theta ) = - \mathrm { i } e ^ { \mathrm { i } \theta } \cdot \int _ { 0 } ^ { + \infty } \frac { t ^ { x } } { \left( 1 + t \mathrm { e } ^ { \mathrm { i } \theta } \right) ^ { 2 } } \mathrm {~d} t . \right.$$
Hint: let $\beta \in ] 0 ; \pi [$, show that for all $\theta \in [ - \beta ; \beta ]$ and $t \in [ 0 , + \infty [$, $\left| 1 + t e ^ { i \theta } \right| ^ { 2 } \geq \left| 1 + t e ^ { i \beta } \right| ^ { 2 } = ( t + \cos ( \beta ) ) ^ { 2 } + ( \sin ( \beta ) ) ^ { 2 }$.
Let $r$ be the function defined by

$$\begin{aligned}
r : ] - \pi ; \pi [ & \longrightarrow \mathbf { C } \\
\theta & \longmapsto \int _ { 0 } ^ { + \infty } \frac { t ^ { x - 1 } } { 1 + t e ^ { \mathrm { i } \theta } } \mathrm {~d} t
\end{aligned}$$

where $x$ is a fixed element of $]0;1[$. Show that the function $r$ is of class $\mathcal { C } ^ { 1 }$ on $] - \pi ; \pi [$ and that:

$$\forall \theta \in ] - \pi ; \pi \left[ , \quad r ^ { \prime } ( \theta ) = - \mathrm { i } e ^ { \mathrm { i } \theta } \cdot \int _ { 0 } ^ { + \infty } \frac { t ^ { x } } { \left( 1 + t \mathrm { e } ^ { \mathrm { i } \theta } \right) ^ { 2 } } \mathrm {~d} t . \right.$$

Hint: let $\beta \in ] 0 ; \pi [$, show that for all $\theta \in [ - \beta ; \beta ]$ and $t \in [ 0 , + \infty [$, $\left| 1 + t e ^ { i \theta } \right| ^ { 2 } \geq \left| 1 + t e ^ { i \beta } \right| ^ { 2 } = ( t + \cos ( \beta ) ) ^ { 2 } + ( \sin ( \beta ) ) ^ { 2 }$.