• Aucun résultat trouvé

Montrer que ϕ∗ψ(x

N/A
N/A
Protected

Academic year: 2022

Partager "Montrer que ϕ∗ψ(x"

Copied!
3
0
0

Texte intégral

(1)

Université Lyon 1 Année 2013–2014 Master Mathématiques Générales 1ère année

Analyse appliquée aux équations aux dérivées partielles

Devoir no 3 Distributions

– à rendre le 31 mars 2014 –

Exercice 1. (Sommes de Riemann et produits de convolution) Soient ϕ, ψ∈Cc(Rn).

Soit F =ϕ∗ψ.

Pourε >0, nous posons Fε(x) =εn X

k∈Zn

ϕ(x−εk)ψ(εk).

1. MontrerFε est bien définie.

2. Montrer qu’il existeK bRn tel que Fε(x) = 0,∀ε <1, ∀x6∈K.

3. SoitQ= [0,1[n. Montrer que ϕ∗ψ(x) = εn X

k∈Zn

Z

Q

ϕ(x−ε(k+y))ψ(ε(k+y))dy.

[Commencer par n= 1 etn= 2 peut aider à comprendre cette égalité.]

4. En déduire qu’il existe C >0 telle que

|Fε(x)−F(x)| ≤C εX

|β|≤1

sup|∂βϕ| X

|β|≤1

sup|∂βψ|, ∀x∈Rn, ∀ε∈]0,1[.

5. Majorer|∂αFε(x)−∂αF(x)|, avec α∈Nn.

6. En déduire que Fε →ϕ∗ψ dans CK(Rn)quand ε →0.

Exercice 2. (Associativité du produit de convolution) Utiliser l’exercice précédent pour montrer que

(u∗ϕ)∗ψ =u∗(ϕ∗ψ), ∀u∈D0(Rn), ∀ϕ, ψ∈Cc(Rn).

Exercice 3. (De l’impossibilité de multiplier deux distributions) Calculer (x δ)v. p. 1 x et

xv. p. 1 x

δ. Conclusion ?

Exercice 4. (Théorème de Malgrange-Ehrenpreis) Comprendre et refaire (en ajoutant les détails manquants) la preuve de ce théorème qui se trouve dans l’article

Peter Wagner,A New Constructive Proof of the Malgrange-Ehrenpreis Theorem, American Mathematical Monthly, 116 :5 (2009), 457–462.

(2)

Exercice 5. (Equation différentielle dans D0)

Soit α∈R, u∈ D0(R). Montrer que u0+αu = 0dans D0(R) si et seulement s’il existe une constante C telle queu(t) =Ce−αt.

Exercice 6. (Propriétés de la mesure superficielle sur la sphère) Soit A une partie borélienne deS(0,1). Soit B =B(A) = [

0≤t≤1

tA.

1. Montrer que B est une partie borélienne de Rn et que H n−1(A) =nλn(B).

2. En déduire que σn =nωn.

3. SoitR∈ O(n). DéterminerB(R(A)). En déduire que la mesure sur la sphèreS(0,1)est invariante par isométries linéaires.

4. Soitf :S(0,1)→Rintégrable et impaire par rapport à l’une des coordonnées. Montrer que

Z

S(0,1)

f(x)dH n−1(x) = 0.

5. Calculer Z

S(0,1)

x21dH n−1(x).

Exercice 7. (Mesure d’un cône)

Calculer la superficie du cône circulaire droit C :={x∈Rn; xn+

q

x21+. . .+x2n−1 = 1,0≤xn≤1}.

Exercice 8. (Formules de la moyenne) Soit f ∈C2(Rn).

1. Montrer que la fonction G:]0,+∞[→Rdéfinie pour tout r >0 par G(r) = 1

rn−1 Z

S(0,r)

f(x)dH n−1(x)

est de classeC1 et que G0(r) = 1 rn

Z

S(0,r)

x· ∇f(x)dHn−1(x) pour toutr >0.

2. En déduire que G0(r) = 1 rn−1

Z

B(0,r)

∆f(x)dx pour tout r >0.

3. Établir la première formule de la moyenne : si f ∈ C2(B(0, R))∩C(B(0, R)) est har- monique (càd solution de∆f = 0 dans Ω), alors

f(0) = 1

H n−1(S(0, R)) Z

S(0,R)

f(x)dHn−1(x).

4. Établir la deuxième formule de la moyenne : si f ∈ C2(B(0, R))∩C(B(0, R)) est har- monique, alors

f(0) = 1 λn(B(0, R))

Z

B(0,R)

f(x)dλn(x).

2

(3)

5. En déduire le principe du maximum (minimum) : si une fonction harmonique dans un ouvert connexe admet un point de maximum (minimum), alors elle est constante.

6. En déduire l’unicité de la solution du problème de Dirichlet : si Ω est un ouvert borné, alors le problème

(∆u=f dans Ω

u=g sur∂Ω a au plus une solutionu∈C2(Ω)∩C(Ω).

3

Références

Documents relatifs

Dans chacun des cas suivants, déterminer la valeur de c et leur minimum sachant que leur maximum est

BnB MaxSAT solvers solve a MaxSAT instance by minimizing the number of un- satisfied clauses, while MinSatz solves a MinSAT instance by maximizing the number of unsatisfied clauses..

Specifically given a string w and an integer k find a factorisation of w where each factor has length bounded by k and has the minimum (the FmD problem) or the maximum (the FMD

— si on atteint le puits, alors on a un chemin augmentant de la source vers le puit qu’on peut utiliser pour augmenter le flot (on prend un plus court chemin, comme dans EK, si on

von Dantscher a repris la question d'une façon différente et a donné un procédé permettant de reconnaître au bout d'un nombre fini d'opérations si la fonction est extremum, le seul

[r]

[r]

Déterminer le minimum local de f sur [-1;1] et en quelle valeur il est atteint.. Déterminer le maximum local de f sur [3;4] et en quelle valeur il est