📚 الرئيسية

مسابقة دكتوراه 2025Université Ziane Achour - Djelfa — الموضوع 01

مسابقة عامة · الرياضيات

Concours d'accès en Doctorat 3ème Cycle 2024/2025, Épreuve EDP et Modélisation, Sujet 2, 24/02/2025

التمرين 1

Exercice 1 (Djelfa 2025) — Intégrale de Laplace-Dirichlet $F(x)=\int_0^\infty \frac{\sin(xt)}{t}e^{-t}dt$

#intégrale à paramètre#dérivation sous le signe intégrale#intégrale de Dirichlet

On définit pour xRx\in\mathbb{R} : F(x)=0sin(xt)tetdt.F(x) = \int_0^\infty \dfrac{\sin(xt)}{t}e^{-t}dt.

  1. Montrer que FF est bien définie et de classe C1C^1 sur R\mathbb{R}.

  2. Calculer F(x)F'(x) et en déduire une expression explicite de F(x)F(x).

  3. En déduire la valeur de l'intégrale de Dirichlet 0sinttdt\displaystyle\int_0^\infty\dfrac{\sin t}{t}dt (par un passage à la limite approprié, à justifier).

Méthode classique de Feynman (dérivation sous le signe intégrale avec facteur de convergence eεte^{-\varepsilon t}) pour calculer l'intégrale de Dirichlet, l'une des intégrales impropres les plus célèbres de l'analyse.

الحل
  1. Pour t0t\to0, sin(xt)tetx\dfrac{\sin(xt)}{t}e^{-t}\to x (limite finie), donc l'intégrande est bornée près de 00. Pour tt\to\infty, sin(xt)tetet\Big|\dfrac{\sin(xt)}{t}e^{-t}\Big|\le e^{-t}, intégrable. Donc F(x)F(x) bien définie pour tout xx.

Pour la dérivabilité : x(sin(xt)tet)=cos(xt)et\dfrac{\partial}{\partial x}\Big(\dfrac{\sin(xt)}{t}e^{-t}\Big) = \cos(xt)e^{-t}, dominée par ete^{-t} indépendamment de xx, intégrable sur (0,)(0,\infty). Par le théorème de dérivation sous le signe intégrale, FC1(R)F\in C^1(\mathbb{R}).

  1. F(x)=0cos(xt)etdtF'(x) = \displaystyle\int_0^\infty \cos(xt)e^{-t}dt. Calcul classique (partie réelle de 0e(ix1)tdt\int_0^\infty e^{(ix-1)t}dt) : F(x)=Re(11ix)=Re(1+ix1+x2)=11+x2.F'(x) = \mathrm{Re}\left(\dfrac{1}{1-ix}\right) = \mathrm{Re}\left(\dfrac{1+ix}{1+x^2}\right) = \dfrac{1}{1+x^2}.

Donc F(x)=arctan(x)+CF(x) = \arctan(x)+C. Comme F(0)=0F(0)=0 (intégrale nulle : sin(0)=0\sin(0)=0), C=0C=0. Donc F(x)=arctan(x)\boxed{F(x)=\arctan(x)}.

  1. Considérons 0sinttdt\displaystyle\int_0^\infty\dfrac{\sin t}{t}dt. On a F(x)=0sin(xt)tetdtF(x)=\displaystyle\int_0^\infty\dfrac{\sin(xt)}{t}e^{-t}dt. Pour relier à 0sinttdt\int_0^\infty\frac{\sin t}{t}dt, on utiliserait plutôt la limite xx\to\infty après changement de variable u=xtu=xt dans une version sans ete^{-t}, mais ici avec le facteur ete^{-t} fixe, on prend la limite quand le paramètre de convergence tend vers 00 dans une version généralisée Fε(x)=0sin(xt)teεtdt=arctan(x/ε)F_\varepsilon(x)=\int_0^\infty\frac{\sin(xt)}{t}e^{-\varepsilon t}dt=\arctan(x/\varepsilon) (par le même calcul avec ε\varepsilon à la place de 11). En posant x=1x=1 et ε0+\varepsilon\to0^+ : 0sintteεtdt=arctan(1/ε)π2\displaystyle\int_0^\infty\dfrac{\sin t}{t}e^{-\varepsilon t}dt = \arctan(1/\varepsilon)\to\dfrac\pi2.

Par convergence dominée généralisée (Abel-Dirichlet, l'intégrale impropre 0sinttdt\int_0^\infty\frac{\sin t}{t}dt étant convergente au sens impropre), on obtient 0sinttdt=π2.\int_0^\infty\dfrac{\sin t}{t}dt = \dfrac{\pi}{2}.

التمرين 2

Exercice 2 (Djelfa 2025) — Homogénéité de $f(x,y)=\dfrac{|x|^\alpha|y|^\beta}{(|x|+|y|)^\gamma}$ : limite en $(0,0)$

#limite à deux variables#fonctions homogènes#coordonnées polaires

Soient α,β>0\alpha,\beta>0 et γ=α+β\gamma=\alpha+\beta. On définit sur R2{(0,0)}\mathbb{R}^2\setminus\{(0,0)\} : f(x,y)=xαyβ(x+y)γ.f(x,y) = \dfrac{|x|^\alpha|y|^\beta}{(|x|+|y|)^\gamma}.

  1. Montrer que ff est homogène de degré 00 (i.e. f(tx,ty)=f(x,y)f(tx,ty)=f(x,y) pour t>0t>0).

  2. En déduire que lim(x,y)(0,0)f(x,y)\displaystyle\lim_{(x,y)\to(0,0)}f(x,y) n'existe pas (sauf cas dégénéré).

  3. Montrer que ff est bornée sur R2{(0,0)}\mathbb{R}^2\setminus\{(0,0)\}.

Exemple classique de fonction homogène de degré 00, bornée mais sans limite à l'origine : la valeur dépend uniquement de la direction d'approche, ce qui empêche l'existence d'une limite globale malgré la bornitude.

الحل
  1. f(tx,ty)=txαtyβ(tx+ty)γ=tα+βxαyβtγ(x+y)γ=tγtγf(x,y)=f(x,y)f(tx,ty) = \dfrac{|tx|^\alpha|ty|^\beta}{(|tx|+|ty|)^\gamma} = \dfrac{t^{\alpha+\beta}|x|^\alpha|y|^\beta}{t^\gamma(|x|+|y|)^\gamma} = \dfrac{t^\gamma}{t^\gamma}f(x,y) = f(x,y) (car γ=α+β\gamma=\alpha+\beta). Homogène de degré 00.

  2. Une fonction homogène de degré 00 non constante prend, sur chaque droite y=mxy=mx passant par l'origine, une valeur constante (indépendante de tt) qui dépend de la pente mm : f(x,mx)=xαmβxβ(x+mx)γ=mβ(1+m)γ(constant en x0).f(x,mx) = \dfrac{|x|^\alpha|m|^\beta|x|^\beta}{(|x|+|m||x|)^\gamma} = \dfrac{|m|^\beta}{(1+|m|)^\gamma}\quad\text{(constant en }x\ne0\text{)}.

Cette valeur dépend de mm (non constante en mm en général, sauf cas dégénéré α=β=0\alpha=\beta=0). Par exemple pour m=0m=0 (axe xx) : f=0f=0. Pour m=1m=1 : f=12γ0f=\dfrac{1}{2^\gamma}\ne0 (si γ>0\gamma>0). Comme la limite dépend du chemin (de la pente mm), la limite en (0,0)(0,0) n'existe pas (sauf si α\alpha ou β=0\beta=0, cas exclu par hypothèse α,β>0\alpha,\beta>0, où la valeur serait constante =0=0 sur toutes les droites mais il faudrait vérifier plus finement).

  1. Bornée : pour (x,y)(0,0)(x,y)\ne(0,0), on a par l'inégalité de Young pondérée (ou AM-GM généralisée) : xαyβ(αγx+βγy)γCα,βC(x+y)γ|x|^\alpha|y|^\beta \le \left(\dfrac{\alpha}{\gamma}|x|+\dfrac{\beta}{\gamma}|y|\right)^\gamma\cdot C_{\alpha,\beta}\le C(|x|+|y|)^\gamma par concavité du logarithme (inégalité des moyennes pondérées) : xαyβ=(xα/γ)γ(yβ/γ)γ(αγx+βγy)γ(x+y)γ|x|^\alpha|y|^\beta = (|x|^{\alpha/\gamma})^\gamma(|y|^{\beta/\gamma})^\gamma \le \Big(\dfrac{\alpha}{\gamma}|x|+\dfrac{\beta}{\gamma}|y|\Big)^\gamma \le (|x|+|y|)^\gamma (majoration grossière des coefficients α/γ,β/γ1\alpha/\gamma,\beta/\gamma\le1).

Donc f(x,y)1f(x,y)\le 1 pour tout (x,y)(0,0)(x,y)\ne(0,0), et f0f\ge0 trivialement. ff bornée par [0,1][0,1].

التمرين 3

Exercice 3 (Djelfa 2025) — Matrice circulante $4\times4$ $M(x,y,z,t)$ : diagonalisation par transformation de Fourier discrète

#matrice circulante#diagonalisation#transformée de Fourier discrète#valeurs propres

On considère la matrice circulante 4×44\times4 : M(x,y,z,t)=(xyzttxyzztxyyztx).M(x,y,z,t) = \begin{pmatrix}x&y&z&t\\t&x&y&z\\z&t&x&y\\y&z&t&x\end{pmatrix}.

  1. Montrer que M(x,y,z,t)=xI+yC+zC2+tC3M(x,y,z,t) = xI+yC+zC^2+tC^3CC est la matrice de permutation circulaire C=(0100001000011000)C=\begin{pmatrix}0&1&0&0\\0&0&1&0\\0&0&0&1\\1&0&0&0\end{pmatrix}.

  2. Diagonaliser CC dans C\mathbb{C} (valeurs propres = racines quatrièmes de l'unité).

  3. En déduire les valeurs propres de M(x,y,z,t)M(x,y,z,t) et son déterminant.

Les matrices circulantes sont toujours diagonalisables par la transformée de Fourier discrète (matrice de Vandermonde des racines de l'unité), indépendamment des coefficients x,y,z,tx,y,z,t : c'est un résultat fondamental utilisé en analyse de Fourier discrète et traitement du signal.

الحل
  1. Vérification directe : CC envoie e1e4e_1\mapsto e_4? Vérifions par lignes. CC a pour lignes (0,1,0,0),(0,0,1,0),(0,0,0,1),(1,0,0,0)(0,1,0,0),(0,0,1,0),(0,0,0,1),(1,0,0,0). Alors C2C^2 a lignes issues du produit ; on peut vérifier que xI+yC+zC2+tC3xI+yC+zC^2+tC^3 reproduit exactement la structure circulante (chaque ligne est le décalage cyclique de la précédente), ce qui correspond à M(x,y,z,t)M(x,y,z,t).

  2. CC vérifie C4=IC^4=I (permutation cyclique d'ordre 4). Ses valeurs propres sont les racines quatrièmes de l'unité ωk=ik=eikπ/2\omega_k=i^k=e^{ik\pi/2}, k=0,1,2,3k=0,1,2,3 (soit 1,i,1,i1,i,-1,-i), avec vecteurs propres vk=(1,ωk,ωk2,ωk3)Tv_k=(1,\omega_k,\omega_k^2,\omega_k^3)^T (ou une convention équivalente selon l'orientation du décalage). CC est diagonalisable dans C\mathbb{C} (valeurs propres distinctes) : C=Pdiag(1,i,1,i)P1C=P\,\mathrm{diag}(1,i,-1,-i)\,P^{-1}.

  3. Comme M=xI+yC+zC2+tC3M=xI+yC+zC^2+tC^3 est un polynôme en CC, MM est diagonalisable dans la même base que CC, avec valeurs propres λk=x+yωk+zωk2+tωk3,k=0,1,2,3, ωk=ik.\lambda_k = x+y\omega_k+z\omega_k^2+t\omega_k^3,\quad k=0,1,2,3,\ \omega_k=i^k.

Explicitement :

  • λ0=x+y+z+t\lambda_0 = x+y+z+t (k=0k=0, ω0=1\omega_0=1)
  • λ1=x+iyzit\lambda_1 = x+iy-z-it (k=1k=1, ω1=i\omega_1=i)
  • λ2=xy+zt\lambda_2 = x-y+z-t (k=2k=2, ω2=1\omega_2=-1)
  • λ3=xiyz+it\lambda_3 = x-iy-z+it (k=3k=3, ω3=i\omega_3=-i)

Le déterminant est le produit : detM=λ0λ1λ2λ3=(x+y+z+t)(xy+zt)[(xz)2+(yt)2]\det M = \lambda_0\lambda_1\lambda_2\lambda_3 = (x+y+z+t)(x-y+z-t)\big[(x-z)^2+(y-t)^2\big]

(en regroupant λ1λ3=(xz)2+(yt)2\lambda_1\lambda_3 = (x-z)^2+(y-t)^2 car λ1,λ3\lambda_1,\lambda_3 sont conjugués complexes, et λ0λ2=(x+z)2(y+t)2\lambda_0\lambda_2=(x+z)^2-(y+t)^2... vérification: λ0λ2=(x+y+z+t)(xy+zt)=(x+z)2(y+t)2\lambda_0\lambda_2=(x+y+z+t)(x-y+z-t)=(x+z)^2-(y+t)^2). Donc detM=[(x+z)2(y+t)2][(xz)2+(yt)2].\det M = \big[(x+z)^2-(y+t)^2\big]\big[(x-z)^2+(y-t)^2\big].