Calcul intégral

$-1 \leq \cos\theta \leq 1$, donc $1+|x|^2 -2|x| \leq 1+x^2-2x \cos \theta \leq 1+|x|^2 +2|x|$. Or $|x|<1$.

Pour prouver la dérivabilité c'est la dérivée partielle qu'il faut dominer.
https://prepas.org/index.php?document=32, p.22

Si l'on ne veut que la domination de $f(x,\theta )=\ln (1+x^{2}-2x\cos \theta )$ pour avoir seulement la continuité de $F$, le même raisonnement s'applique sur $[-a,a]$ avec $0<a<1$, et Marco l'avait bien vu je pense. Mais c'est un petit peu plus compliqué et en fait sans utilité puisque la suite de l’exercice demande qu'on calcule la dérivée de $F$. C'est travailler plus pour gagner moins ;-).

On peut donc observer (encore !) une maladresse de l’énoncé, qui n'aurait pas dû demander de prouver que « $F$ est continue et dérivable », formulation clairement idiote, mais seulement « $F$ est de classe $\mathcal C^1$ ». Enfin (soupir !) ce n'est probablement pas le dernier énoncé mal foutu que nous verrons...

Et nos ennuis ne font que commencer, car il reste à calculer $F^{\prime }(x)=\int_{-\pi }^{\pi }\frac{\partial f}{\partial x}(x,\theta)d\theta =\int_{-\pi }^{\pi }\frac{2(x-\cos \theta )}{1+x^{2}-2x\cos \theta }d\theta $. Magnanime, l'énoncé nous fait présent du Changement de Variable bien connu (ou qui l'était naguère) $t = \tan \frac{\theta}{2}$. Ce n'est que le début du chemin, iI reste une fraction rationnelle à décomposer en éléments simples, pas méchante mais avec paramètre $x$ qui complique le calcul. L'étonnante simplicité du résultat nous paiera de tout ce travail.

Je n'en dis pas plus puisque je dois me garder de mon défaut qui est de trop souvent faire les choses à la place de ceux qui doivent les faire. J'exposerai en temps utile mes commentaires sur cette intégrale, qu'on calcule bien plus facilement d'une ou deux autres manières, sans convergence dominée, et qu'on posait déjà dans un recueil d'exercices datant de 1961, bientôt soixante ans en arrière.

Bonne nuit.
Fr. Ch.

@ Marco
Moi non plus, je n'avais jamais entendu parler de « l'argument de saturation » et j'en étais tout penaud.
Il apparaît ici :https://www.ilemaths.net/sujet-argument-de-saturation-739979.html mais sans explication.
Je l'ai trouvé aussi ici : https://webusers.imj-prg.fr/~sylvie.delabriere/PM1/PM1.pdf,
Je présume qu'il s'agit de la méthode consistant à démontrer une propriété telle que domination, ou convergence uniforme, ou autre, non pas sur l'intervalle de définition $J$ tout entier mais sur chaque intervalle d'une famille dont la réunion est cet intervalle $J$. Ainsi au final la propriété visée comme corollaire se trouve prouvée sur l'intervalle $J$ tout entier.
On veut dire sans doute que la famille considérée « sature » l'intervalle $J$.
Ici par exemple, on a $J=]-1,1[$ et j'ai pris la famille d'intervalles $[-a,a], 0<a<1$. J'établis la domination sur chacun de ces segments, et il en résulte que la fonction $F$ est de classe $\mathcal C^1$ sur chacun de ces segments. Comme la réunion de ces segments est $J$, la fonction $F$ est finalement de classe $\mathcal C^1$ sur $J$.
Mais le terme « argument de saturation », il fallait le trouver. Accueillons-le : l'innovation langagière n'a pas de limites !
Les collègues qui enseignent ces choses pourraient nous dire si j'ai bien deviné.
Bonne après-midi.
Fr. Ch.

Encore un mot sur cet exercice tel qu'il est posé dans ce fil, pour ceux qui veulent quand même dominer $f(x,\theta )= \ln(1+x^{2}-2x\cos \theta) $ et non sa dérivée partielle $\frac{\partial f}{\partial x}$.
On repart comme avant en prenant $0<a<1$, et $x\in \lbrack -a,a]$. On a les inégalités :
$0< ( 1-a)^{2} \le (1-\left\vert x\right\vert )^{2} \le 1+x^{2}-2x\cos \theta \le (1+\left\vert x\right\vert )^{2} \le (1+a)^{2}\le \frac 1{(1-a)^2}$.
On en déduit : $ -2 \ln (\frac 1{1-a}) \le \ln (1+x^{2}-2x\cos \theta ) \le 2 \ln (\frac 1{1-a})$.
Et enfin : $ | \ln (1+x^{2}-2x\cos \theta ) | \le 2 \ln (\frac 1{1-a})$.
Ce n'est pas très utile ici, comme j'ai dit précédemment, mais on ne sait jamais...

Encore un commentaire sur cet exercice.
L'intégrale $\displaystyle F(x) = \int_{0 }^{\pi }{\ln (1 + x^2 - 2x\cos \theta) d\theta }$ est parfois appelée : intégrale de Poisson. À l'évidence, celle du présent exercice en est le double, et la borne $-\pi$ de l'intégrale n'apporte rien de plus.

En fait cette fonction $F$ est définie sur $\mathbb R$ tout entier, et pas seulement sur $]-1,1[$. La méthode proposée dans le présent exercice me semble la plus (ba)lourde, exigeant les outils évolués de convergence dominée, et limitée à $]-1,1[$. Je vous joins une feuille qui donne une autre méthode qu'on peut poser en Math-Sup, et que j'ai moi-même posée dans cette classe il y a longtemps.

J'aime bien retracer la vie des exercices de mathématiques. La première référence que j'ai pour celui-ci c'est : G. Lefort, Algèbre et Analyse, Exercices, Collection universitaire de Mathématiques (bleu), Dunod, 1961. Bientôt soixante ans ! C'était dans cette belle collection bleue de chez Dunod solidement cartonnée (pas du Gabay), qui comporte tant d'ouvrages importants. À l'époque le manuel de référence pour la première année de fac, c’était le Pisot-Zamansky, édité dans ladite collection, et le Lefort en était le livre d'exercices.

Vous verrez dans le texte ci-joint que cet exercice a eu une belle carrière, car on le retrouve dans plusieurs ouvrages et non des moindres, et il a encore été posé à un oral en 2015. Vous vous rendez compte : 1961-2015 ! Et il faudrait vérifier s'il ne serait pas encore présent dans les oraux ultérieurs. C'est dans les vieilles marmites qu'on fait la meilleure soupe.

Bonne soirée.
Fr. Ch.
29/07/2020

Oui MrJ, c'est aussi mon idée, c'est ce que je voulais dire en employant le mot « identique ».
Le questionneur aurait pu être plus malin en variant les formulations, et il ne s'est pas beaucoup manifesté dans ce fil.
Enfin, je suis content d'avoir appris « l'argument de saturation ».

On peut aussi regarder l’exercice 2 de la planche 14 11 sur Maths-france.

Par contre, c'est vraiment long en passant par une intégrale à paramètre. Personnellement, je préfère le calcul en utilisant une somme de Riemann (la solution est rédigée par Chaurien plus haut).

MrJ
planche 11

Mouhahaha je ne suis pas le raoul de la question désolé....

PS. gebrane le parano (:D

Moi ma méthode préférée c'est celle de la feuille que j'ai jointe à un précédent message car je trouve que c'est la plus simple. Mais pour ceux qui s'intéressent au calcul avec les sommes de Riemann, voici les deux autres cas.

$\bullet $ Si $ x\in \mathbb{R}$, $\left\vert x\right\vert >1$, alors : $ \displaystyle \frac{\pi }{n}\overset{n-1}{\underset{k=1}{\sum }}\ln (x^{2}-2x\cos \frac{%
k\pi }{n}+1)=\frac{\pi }{n}\ln \frac{\left\vert x\right\vert ^{2n}-1}{%
\left\vert x\right\vert ^{2}-1}$
$=2\pi \ln \left\vert x\right\vert +\frac{\pi }{n}(\ln (1-\frac{1}{%
\left\vert x\right\vert ^{2n}})-\ln (\left\vert x\right\vert
^{2}-1))\longrightarrow 2\pi \ln \left\vert x\right\vert $ quand $%
n\rightarrow +\infty $.

$\bullet $ Si $x=\pm 1$, on revient à : $\displaystyle (X^{2}-1)\overset{n-1}{\underset{k=1}{\prod }}(X^{2}-2X\cos \frac{k\pi }{n}+1)=X^{2n}-1$, qui implique :
$ \displaystyle \overset{n-1}{\underset{k=1}{\prod }}(X^{2}-2X\cos \frac{k\pi }{n}+1)=\overset{n-1}{\underset{k=0}{\sum }}X^{2k}$, d'où : $\displaystyle \overset{n-1}{\underset{k=1}{\prod }}(2-2\cos \frac{k\pi }{n})=\overset{n-1}{\underset{k=1}
{\prod }}(2+2\cos \frac{k\pi }{n})=n$.
Et par suite : $\displaystyle \frac{\pi }{n}\overset{n-1}{\underset{k=1}{\sum }}\ln (2-2\cos \frac{k\pi }{n})=\frac{\pi }{n}\ln
n\longrightarrow 0$ quand $n\rightarrow +\infty $.
Et de même pour $\displaystyle \frac{\pi }{n}\overset{n-1}{\underset{k=1}{\sum }}\ln (2+2\cos \frac{k\pi }{n})$.

Bonne journée.
Fr. Ch.
31/07/2020