exo7 6808

Soit α\alpha un réel tel que −1<α<2-1< \alpha < 2, et soit f:C∖{it∣t∈ ]−∞,0] }f: \Cc\setminus\{it\mid t\in \,]-\infty,0]\,\} définie par f(z)=eizeαlog⁡z1+z2 ,f(z) = \frac{e^{iz} e^{\alpha\log z}}{1+z^2}\ , où log⁡z\log z désigne la branche uniforme du logarithme complexe qui est réelle pour zz réel strictement positif, avec −π/2<arg⁡z<3π/2-\pi/2 < \arg z < 3\pi/2.

1

Montrer que, pour tout θ\theta tel que 0≤θ≤π/20\le \theta \le \pi/2, on a : 0≤2θ/π≤sin⁡θ≤θ0\le 2\theta/\pi \le \sin \theta \le \theta.

2

Soit γϵ\gamma_\epsilon le demi-cercle de rayon ϵ>0\epsilon>0, de centre 0, situé dans le demi-plan ℑ z≥0\Im\ z\ge 0. Démontrer que lim⁡ϵ↓0∫γϵf(z) dz=0\lim_{\epsilon\downarrow 0} \int_{\gamma_\epsilon} f(z)\,dz = 0.

3

Soit γR\gamma_R le demi-cercle de rayon R>0R>0, de centre 0, situé dans le demi-plan ℑz≥0\Im z\ge 0. Démontrer que lim⁡R→∞∫γRf(z) dz=0\lim_{R\to \infty} \int_{\gamma_R} f(z)\,dz = 0.

4

En intégrant ff sur le bord du domaine ϵ≤∣z∣≤R\epsilon\le |z| \le R, 0≤arg⁡(z)≤π0\le \arg(z) \le \pi, déduire de ce qui précède que l’intégrale I(α)=∫0∞xαcos⁡(x−απ2)1+x2 dxI(\alpha) = \int_0^\infty \frac{x^\alpha \cos(x-\frac{\alpha\pi}2)}{1+x^2}\,dx est convergente et en même temps calculer sa valeur.

Exercice jHCZ

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?