1

Daniel Saada juin 2013

ETUDE DES FONCTIONS sin(ax ) − sin(bx )

www.daniel-saada.eu

sin(ax ) − sin(bx ) est continue, impaire et bornée par 2 ; soit

M ( a , b) = sup ( sin( ax ) − sin(bx ) ) , avec a et b distincts et non nuls et a + b ≠ 0 ?

R

si a / b ∉  , M (a, b) = 2 sans être atteint, l’image de R est ] − 2, 2[

On raisonne sur sin tx − sin , avec t irrationnel, car M ( a, b) = M ( a / b,1) .
1+ t
On sait que {tp + q : p ∈ , q ∈ } est dense dans R : il existe une suite ( pn , qn ) telle que tpn + qn → .
4
1+ t
Posons xn = −π / 2 + 2 pnπ : sin( xn ) = −1 tandis que txn = −tπ / 2 + 2tpnπ = −tπ / 2 + 2π ( − qn + ε n )
4
et donc sin txn = π / 2 − 2π qn + 2πε n = cos(2πε n ) → 1 , fini.
Non atteint, sinon t serait rationnel, car on aurait sin tx = 1 et sin x = −1 et donc à la fois tx = π / 2 + 2kπ et
x = −π / 2 + 2lπ .

ax bx ax bx
si a / b = p / q , sin( ax ) − sin(bx ) = sin( p) − sin( q ) et = , donc M ( a, b) = M ( p, q) .
p q p q
sin( px ) − sin( qx ) est de période 2π et M ( p, q) = max ( sin( px ) − sin( qx ) )
[0,2π ]

On peut avoir M ( p, q) = 2 , avec sin 3 x − sin x et x = 3π / 2 .

Calcul de M (2,1) avec Maple :

f := x → sin( 2 x ) − sin( x )
 2
Daniel Saada juin 2013

> plot(f(x),x=0..2*Pi);

> M:=maximize(f(x), x=0..2*Pi);evalf(M);

2
  1 33    1 33 
M := sin 2 arccos − +  + 1 −  − + 
  8 8    8 8 

1.760172593

Minoration de M ( p, q) p et q entiers distincts (Alain Rémondière)

π 2

0 (sin px − sin qx ) dx ≤ π M
2
On part de
π 2
Or, si p ≠ q , 0 (sin px − sin qx ) dx = π , et donc M ( p, q) ≥ 1
sin(ax ) − sin(bx ) périodique si et seulement si a / b ∈  :
si T est une période, sin a ( x + T ) − sin b( x + T ) = sin( ax ) − sin(bx ) , d’où sin aT = sin bT .
En dérivant et en faisant encore x = 0 , il vient a cos aT − b cos bT = a − b , ou a (cos aT − 1) = b(cos bT − 1) .
Cas 1 : aT = bT + 2kπ
On a alors cos aT = cos bT , et alors cos aT = cos bT = 1 sinon a = b .
Donc on a aT = 2kπ et bT = 2lπ et a / b est bien rationnel.

Cas 2 : aT = π − bT + 2kπ
Alors cos aT = − cos bT , et cos aT = − cos bT = 1 sinon a + b = 0 .
Donc, aT = 2kπ et bT = π + 2lπ et a / b est bien rationnel.
 3
Daniel Saada juin 2013

L’ensemble des fonctions continues bornées de R dans R n’est pas séparable pour d ( f , g ) = sup | f ( x ) − g ( x ) |
x∈R

2 si i / j est irrationnel
En effet, pour i et j irrationnels distincts, d (sin ix,sin jx ) =  , et l’ensemble I des
≥ 1 si i / j est rationnel
irrationnels n’est pas dénombrable.

Rappel de la preuve : Soit ( E , d ) un espace métrique séparable et (an )n≥1 une suite dense.
1) E est la réunion de toutes les boules B ( an ,1 / p ) , n et p ≥ 1 .
2) si une famille ( xi )i∈I de points de E vérifie d ( xi , x j ) ≥ a > 0 , a > 0 fixé, I est de cardinal dénombrable
car chaque boule B ( an ,1 / p ) ne peut contenir qu’au plus un xi quand p est assez grand.

L’ensemble des fonctions continues bornées de I dans R n’est pas séparable pour d ( f , g ) = sup | f ( x ) − g ( x ) | .
x∈R

I intervalle non réduit à un point, donc contient un J =]u, v[ ; soit ϕ de J dans R, continue et ϕ ( J ) = R :
alors on prend f λ ( x ) = sin ( λϕ ( x ) ) continue et bornée sur J et d ( f λ , f μ ) ≥ 1 .

Sur un normé E, on prend f λ ( x ) = sin ( λ || x ||) : comme || x || décrit R + , c’est gagné.


Sur B(0,1) de E, on prend f λ ( x ) = sin  λ
|| x || 
 définies continues et bornées sur B(0,1).
 1− || x || 

Sur B(0,r) de E, on prend f λ ( x ) = sin  λ
|| x || 

 r − || x || 

 || x − a || 
Sur B(a,r) de E, on prend f λ ( x ) = sin  λ
 r − || x − a || 

Sur un ouvert O de E : ?

But : Soit O un ouvert de Rn :

Y l'ensemble des fonctions continues bornées de O --> R et la distance d (f ; g) = sup | f(x) - g(x) | (pour x dans O)
(Y,d) n'est pas séparable.
Source : http://www.les-mathematiques.net/phorum/read.php?14,845196,page=1