CCINP Mathématiques 1 TSI 2007Sujet et corrigé
Téléchargements
- Rapport du jury : non disponible
Ces sujets peuvent vous intéresser
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.Afficher ou masquer la section
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.
Les calculatrices sont autorisées
NB. : Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d'énoncé, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.
Notations :
-
ℝ désigne l'ensemble des nombres réels. -
ℂ désigne l'ensemble des nombres complexes. -
C(I, K) désigne l'ensemble des fonctions continues de I dans K où K désigneℝ ouℂ . -
C^k(I, K) désigne l'ensemble des fonctions de classeC^k de I dans K où K désigneℝ ouℂ . -
ℝ_(n − 1)[X] désigne l'ensemble des polynômes de degré inférieur ou égal àn − 1 , à coefficients réels.
Convention : On convient d'identifier les fonctions polynômes au polynômes qui leur correspond.
Partie 1: Quelques résultats préliminaires
- On définit les fonctions
φ etψ de[1, + ∞[ dansℝ respectivement par :
1.1) Étudier les variations des fonctions
φ et
ψ , préciser leurs limites en
+ ∞ .
En déduire le signe de chacune des fonctions sur
[1, + ∞[ .
1.2) On considère un repère orthonormal(O; i⃗, j⃗) , du plan.
1.2) On considère un repère orthonormal
Représenter graphiquement les fonctions
φ et
ψ dans ce repère.
2) On définit les suites(u_n)_(n ∈ ℕ^∗) et
(v_n)_(n ∈ ℕ^∗) par :
2) On définit les suites
Montrer que ces suites sont adjacentes.
On noteγ leur limite commune, le réel
γ est appelé constante d'Euler, qu'on ne cherchera pas à calculer.
3) Soitn un entier naturel, on définit la fonction
f de
]0, 1] dans
ℝ par :
On note
3) Soit
3.1) Montrer que la fonction
f est intégrable sur
]0, 1] .
3.2) Montrer que la fonctionf est une fonction polynôme élément de
ℝ_(n − 1)[X] .
3.2) Montrer que la fonction
Donner l'expression de
f dans la base (
1, X, X^2, …, X^(n − 1) )
3.3) Montrer que la famille(1, X − 1, (X − 1)^2, …, (X − 1)^(n − 1)) est une base de
ℝ_(n − 1)[X] .
3.3) Montrer que la famille
Donner l'expression de
f dans cette base.
3.4) Calculer de deux façons différentes l'intégraleI = ∫_0^1 f(t)dt .
3.4) Calculer de deux façons différentes l'intégrale
Pour
n entier naturel et
p entier compris entre 0 et n , on note :
(n/p) = (n!)/(p!(n − p)!) .
Déduire des deux expressions trouvées pourI que :
Déduire des deux expressions trouvées pour
Partie 2: Transformée de Laplace
Soit
E l'ensemble des fonctions
f élément de
C(]0, + ∞[, ℂ) , telles que :
- Pour tout réel
a strictement positif,f est intégrable sur l'intervalle]0, a] . - A chaque fonction
f on peut associerA ∈ ℝ_+^∗, β ∈ ℝ_+^∗ , etn ∈ ℕ tels que :
- Soit
x eta deux réels strictement positifs, calculer∫_x^a ln(t)dt .
Montrer que la fonction logarithme est élément de
E .
5) Montrer que l'ensembleE est un
ℂ - espace vectoriel.
6) Soitx un réel strictement positif.
5) Montrer que l'ensemble
6) Soit
Montrer que, si
f est élément de
E , alors la fonction
φ_x définie de
]0, + ∞[ dans
ℂ par
φ_x(t) = f(t)e^(− xt) , est intégrable sur
]0, + ∞[ .
On définit alors et on note
L(f) la transformée de Laplace d'un élément
f de
E par :
- Montrer que l'application
L définie surE est une application linéaire. - Si
f est élément deC^1([0, + ∞[, ℂ) tel quef^′ soit élément deE , calculerL(f^′) en fonction deL(f) et def(0) . - Soit
k un entier naturel, montrer quef_k définie deℝ_+^∗ dansℝ parf_k(t) = t^k , est élément deE . Soitα un réel positif, on poseI_k = ∫_0^α t^k e^(− xt) dt .
Déterminer une relation de récurrence entreI_(k + 1) etI_k .
En déduire la transformée de Laplace def_k . - Soit
ω un réel etf_ω l'application définie de]0, + ∞[ dansℂ parf_ω(t) = e^(iωt) .
10.1) Montrer quef_ω est élément deE .
10.2) Calculer la transformée de Laplace def_ω .
10.3) En déduire les transformées de Laplace des fonctions définies de]0, + ∞[ dansℝ par :
Partie 3 : Transformée de Laplace de la fonction de Bessel
On définit la fonction de Bessel de
ℝ dans
ℝ par :
- Montrer que
J est élément deC^2(ℝ, ℝ) , exprimerJ^′ etJ^(′′) à l'aide d'une intégrale. - Montrer que :
- Montrer que l'application
J est solution surℝ de l'équation différentielle :
- Montrer que l'application
J est élément deE défini dans la partie 2 . - Soit
x un réel strictement positif, on pose :I(x) = ∫_0^π(dθ)/(x^2 + cos^2 θ) .
15.1) Montrer que :I(x) = 2∫_0^(π/2)(dθ)/(x^2 + cos^2 θ) .
15.2) Calculer l'intégrale∫_0^(π/2)(dθ)/(x^2 + cos^2 θ) . En déduireI(x) .
Indication : on peut faire le changement de variable
u = tanθ .
16) On admet avoir le droit de permuter l'ordre d'intégration soit :
16) On admet avoir le droit de permuter l'ordre d'intégration soit :
Calculer la transformée de Laplace de l'application
J .
Partie 4 : Transformée de Laplace de la fonction logarithme
- Montrer que la fonction
g définie de]0, + ∞[ dansℝ parg(t) = e^(− t)lnt est intégrable sur]0, + ∞[ . - Soit
(U_n)_(n ∈ ℕ^∗) la suite de fonctions définies de]0, + ∞[ dansℝ par :
18.1) Montrer que :
En déduire que :
18.2) Pour
x réel strictement positif fixé, déterminer la limite de la suite
(U_n(x))_(n ∈ ℕ^∗) .
On admet que :
- Soit
n un entier naturel, on noteJ_n = ∫_0^n(1 − t/n)^n ln(t)dt .
19.1) Montrer l'existence de l'intégraleJ_n .
19.2) Soitp un entier naturel etε un élément de]0, 1[ , calculer l'intégrale∫_ε^1 u^p ln(nu)du , en déduire la converge de l'intégrale∫_0^1 u^p ln(nu)du et calculer cette intégrale.
19.3) Soientn un entier naturel etp un entier compris entre 0 et n , montrer que :
19.4) Utiliser le résultat de la question 3.4.) pour exprimer
J_n en fonction de
u_n défini dans la partie 1 question 2.
20) En déduire la valeur de l'intégrale∫_0^(+ ∞)e^(− x)ln(x)dx en fonction de la constante d'Euler.
21) Montrer que la transformée de Laplace de la fonction logarithme est définie sur]0, + ∞[ et calculer sa transformée de Laplace.
20) En déduire la valeur de l'intégrale
21) Montrer que la transformée de Laplace de la fonction logarithme est définie sur
Pas de description pour le moment
