Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#101 Re : Entraide (supérieur) » Inégalité à confirmer. » 09-03-2025 08:16:33

Bonjour,

Je ne doute pas que la question soit sérieuse, mais la réponse est quand même triviale...

Puisque je l'ai annoncé voici le résultat suivant.

Soit $f\in \mathcal D'(\mathbb R^3)$. Supposons que la propriété $(P)$ suivante soit vraie
$$(P) \quad : \quad \forall g\in \mathcal D(\mathbb R^3) \quad \Big( \quad \int g = 0 \quad \Longrightarrow \quad \langle f , g \rangle = 0 \quad \Big)$$
Dans ce cas, pour tout $\varphi \in  \mathcal D(\mathbb R^3)^3$ on aurait
$$\langle \nabla f , \varphi \rangle  = - \langle f , \mathrm{div} \, \varphi \rangle = 0,$$
la dernière égalité provenant de la propriété $(P)$ appliquée à $g=\mathrm{div} \, \varphi$ qui est bien à moyenne nulle en vertu du théorème de Stokes.
Ainsi, si $(P)$ est vraie alors $f$ est constante.

Roro.

#102 Re : Entraide (supérieur) » Inégalité à confirmer. » 08-03-2025 22:53:03

Bonsoir,

Oui, c'est bien ce que j'ai compris. Tu as une fonction $f$ donnée (mais sur laquelle tu ne sais pas beaucoup de chose). Et bien, je te dis qu'il y a peu de chance que ton résultat soit juste. C'est même presque toujours faux.

Evidemment, si $f=1$ (ou tout autre constante), tu auras bien $\int g=0 \Longrightarrow \int fg=0$ mais sinon, ce ne sera pas vrai.

Je suis même presque convaincu que c'est toujours faux, sauf si $f$ est constante.

Ce que je t'ai dit précédemment c'est que si $f$ est de la forme $g_0+1$ avec $g_0$ non nulle à moyenne nulle alors ton résultat ne tient pas. Ce n'est qu'un exemple, mais sans plus d'information sur $f$, on ne pourra clairement pas affirmer le résultat.

Dans le cas que tu évoques, $f$ serait la première composante du champs de vitesse de l'équation de Navier-Stokes. Tu auras donc très peu d'info dessus... et sauf cas très particulier, $f$ n'est pas constante.

Roro.

P.S. Je vois que Michel a réagi, je lui avais un peu pris la priorité puisqu'il avait commencé à répondre... mais il a complètement raison : j'ai l'impression que tu manipules des objets (en parlant par exemple des équations de Navier-Stokes) que tu es à des années lumières de maitriser.

#103 Re : Entraide (supérieur) » Inégalité à confirmer. » 08-03-2025 21:23:16

Bonsoir,

bib99 a écrit :

Soit [tex]f \in C^{ \infty } ( \mathbb{R}^3 ) \backslash \mathcal{D} ( \mathbb{R}^3 )[/tex].
Montrer que,
[tex]\forall g \in \mathcal{D} ( \mathbb{R}^3 ) : ( \ \ \int g = 0 \ \ \Longrightarrow \ \ \int fg = 0 ) [/tex].

Merci pour cette formulation plus claire.

Il est quand même assez évident que ce que tu veux est FAUX.

Je te donne une nouvelle raison (car lorsque je t'ai dit qu'il suffisait de prendre $f=g$ tu as ajouté une hypothèse) : prend une fonction $g_0\in \mathcal D$ non nulle et à moyenne nulle et considère $f=g_0+1$.

Je peux alors trouver une fonction $g\in \mathcal D$ (prendre $g=g_0$) telle que sa moyenne soit nulle et telle que $\int fg \neq 0$.

Roro.

#104 Re : Entraide (supérieur) » Inégalité à confirmer. » 08-03-2025 18:37:30

Bonsoir,

bib99 a écrit :

Pardon. Je corrige le message précedent,
Pour être plus précis,
[tex]f \in C^{ \infty } ( \mathbb{R}^3 )[/tex] étant fixée, mais [tex]g[/tex] circule dans [tex] \mathcal{D} ( \mathbb{R}^3 ) = C_c^{ \infty } ( \mathbb{R}^3 )[/tex]. Ce dernier, lui, n'est pas fixé.

Ça reste pas très clair ni précis !

Par exemple, si $f\in C_c^{ \infty } ( \mathbb{R}^3 )$ alors tu peux prendre $f=g$...

Peux-tu écrire ce que tu veux avec des quantificateurs (du style $\forall f\in C^{ \infty } ( \mathbb{R}^3 )$...) ?

Roro.

#105 Re : Entraide (supérieur) » Inégalité à confirmer. » 08-03-2025 17:26:58

Bonjour,

Ce qui est sûr, c'est que $\int g = 0$ n'implique pas $\int fg=0$ pour toute fonction f (prend par exemple $f=g$)... donc si tu essayes de montrer quelque chose qui est faux, il y a peu de chance que ça fonctionne !

Roro.

#106 Re : Entraide (supérieur) » Inégalité à confirmer. » 08-03-2025 09:24:46

Bonjour,

Je pense que si tu rentres les valeurs absolues à l'intérieur, ce sera moins faux :
$$\Big| \int fg \Big| \leq \int \sup|f| \times |g|$$
mais ce n'est sans doute pas ce que tu veux...

La vraie question est : pourquoi veux-tu une telle inégalité ? Dans quel cadre ?

Si tu veux vraiment ton inégalité alors je dirai que ça doit fonctionner avec les hypothèses suivantes $g\geq 0$ et $|f|\leq \sup f$, mais ce n'est peut être pas ce que tu veux !

Roro.

#107 Re : Entraide (collège-lycée) » Besoin de ressources pour surmonter mes difficultés en algèbre ? » 07-03-2025 08:23:05

Bonjour yolanda058,

Je pense que quand tu auras déjà fait le tour de ce site sur lequel tu poses la question : bibmath , tu en sauras beaucoup plus sur l'algèbre que beaucoup de ceux qui se posent ces questions...

Ce site est plein de cours en ligne (avec parfois des vidéos), des exercices corrigés, etc...

Roro.

#108 Re : Entraide (collège-lycée) » Pourquoi au lycée y' = ay + b et non y' + ay = b ?? » 07-03-2025 08:20:02

Bonjour,

Il faut bien faire un choix pour l'apprentissage. En terminale, ils commencent pas voir que résoudre $y'=f$ revient à un calcul de primitive. Ensuite, il se pose la question des équations de la forme $y'=ay+b$. Mais il est tout à fait possible de parler de $y'+\alpha y = \beta$. Le programme officiel fait même référence à des équations de la forme $y''+\omega² y = 0$.

Et en post-bac, chacun fait bien comme il veut... mais en tout cas, il faut bien à un moment faire des choix car pour certains (pas pour tous sans doute) avoir une structure donnée et s'y ramener si besoin est quand même plus simple.

Roro.

#109 Re : Entraide (supérieur) » Eq diff du premier ordre » 26-02-2025 22:12:53

Bonsoir,

Oui, il suffit de regarder un cours à ce sujet...

Roro.

#110 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Chaussons » 15-02-2025 15:54:05

Bonjour,

Julien_residu a écrit :

Paul : Quatre possibilités: BB BN NB NN. Une chance sur deux

Roro : 6 possibilités : $B_1B_2$, $B_1N_1$, $B_1N_2$, $B_2N_1$, $B_2N_2$, $N_1N_2$. Deux chances sur six, Jacques a raison.

Roro.

#111 Re : Entraide (supérieur) » fonction périodique admettant une double primitive périodique » 10-02-2025 12:52:31

Bonjour,

Tu peux poser $H(x)=F(x+2\pi)-F(x)$.
Tu veux savoir à quelles conditions $H$ est nulle.
Tu dérives deux fois et tu obtiens $H"=0$ (puisque $f$ est périodique) donc $H'=H(0)$.
Pour que $H'$ soit nul, il faut donc que $H'(0)=0$ ce qui correspond à ta condition de moyenne nulle.

Ensuite tu as donc $H=H(0)$. Pour que $H$ soit nul, il faut et suffit que $H(0)=0$, ce qui est possible en choisissant bien $a$...

Roro.

#112 Re : Entraide (supérieur) » fonction périodique admettant une double primitive périodique » 10-02-2025 09:51:03

Bonjour agrega_sarrachles_tif,

Etant donnée une fonction $f$ (régulière et $2\pi$ périodique), tu peux écrire toutes les solutions de $F''=f$ sous la forme
$$F(x) = \int_0^x\Big(\int_0^t f(s)\, \mathrm ds \Big)\mathrm dt + ax + b.$$
Il suffit de vérifier à quelles conditions sur $a$, $b$ et $f$, ta fonction $F$ ainsi définie est $2\pi$ périodique.

Je pense que tu trouveras qu'il faut que $f$ soit de moyenne nulle sur une période (et que c'est suffisant...).

Roro.

#113 Re : Café mathématique » Volume citerne elliptique » 08-02-2025 22:28:57

Re,

Une formule équivalente :

$$\mathrm{Volume} = LrR \Big( \frac{\pi}{2} - (1-\frac{h}{r})\sqrt{\frac{h}{r}\Big(2-\frac{h}{r}\Big)} - \mathrm{arcsin}\Big( 1-\frac{h}{r} \Big) \Big).$$

Je pense que c'est la même que précédemment, écrite différemment.

Roro.

#114 Re : Café mathématique » Volume citerne elliptique » 08-02-2025 19:03:59

Omhaf a écrit :

Re
Merci infiniment  Roro, je vais immédiatement tester
Mais peux-tu définir les variables utilisées L et h sachant que r et R sont les rayons ?
@+

C'est toi qui a défini r, R, L et h au post #8 !!!

J'ai utilisé tes notations.

Roro.

#115 Re : Café mathématique » Volume citerne elliptique » 08-02-2025 18:31:45

Hello,

Je tente une formule :

$$\mathrm{Volume} = LrR \Big( \frac{\pi}{2} - \mathrm{arctan}\Big( \frac{r-h}{\sqrt{h(2r-h)}}\Big) \Big) - \frac{LR}{r}(r-h)\sqrt{h(2r-h)}.$$

Roro.

#116 Re : Entraide (supérieur) » Fraction rationnelle et forme irréductible » 08-02-2025 18:01:27

Re-bonjour,

En fait (mais tu as l'air de le savoir), il ne faut pas confondre un polynôme $P\in \mathbb C[X]$ et la fonction associée souvent notée aussi $P:x\in \mathbb C \longmapsto P(x)\in \mathbb C$.

Pour un polynôme $P\in \mathbb C[X]$, si tu décides de faire comme tu l'as dit (en conjuguant les coefficients) pour définir $\overline P$ alors effectivement pour $z$ non réel, tu auras souvent $\overline P(z) \neq \overline{P(z)}$.

Roro.

#117 Re : Entraide (supérieur) » Fraction rationnelle et forme irréductible » 08-02-2025 13:41:46

Bonjour,

Le pôle d'une fraction rationnelle est défini lorsque cette fraction rationnelle est écrite sous forme irréductible, ce qui n'est pas le cas de $\frac{(X-\lambda)A}{(X-\lambda)B}$.

Roro.

#118 Re : Café mathématique » Volume citerne elliptique » 08-02-2025 09:37:16

Bonjour,

En utilisant un calcul d'intégrale, on doit réussir à s'en sortir comme dans le cas du cercle ?
Si ton ellipse (la partie du bas) a pour équation $y=f(x)=-\frac{b}{a}\sqrt{a²-x²}$ alors ta surface vaudra
$$S = 2Lf(L) - \int_{-L}^L f(x)dx.$$
L'intégrale se calcule, par exemple, par changement de variables $t=x/a$.

Sinon (c'est en fait la même chose), tu peux sans doute voir que le cas elliptique peut se ramener au cas du cercle par le changement de coordonnées $(x,y)\longmapsto (x/a,y/b)$ où $a$ et $b$ sont les grand et petit rayons de ton ellipse.

Roro.

#119 Re : Entraide (collège-lycée) » Peut-on intégrer par parties $\dfrac {e^x}{x}$ ? » 07-02-2025 13:50:57

Bonjour Borassus,

On peut toujours intégrer par parties ! La véritable question est de savoir si cela permet de calculer explicitement l'intégrale.
Ici, on peut montrer qu'il n'existe pas de primitive de la fonction $x\mapsto \mathrm{e}^x/x$ qui s'exprime à l'aide de fonction usuelle.
Tu peux donc intégrer par parties autant de fois que tu veux mais tu n'obtiendras pas de résultat à l'aide de primitives usuelles connues.

On peut donc définir une "nouvelle" fonction comme primitive :
https://fr.wikipedia.org/wiki/Exponenti … C3%A9grale

Roro.

#120 Re : Entraide (supérieur) » Endomorphismes et nilpotence » 05-02-2025 17:56:03

Bonsoir,

Un indice qui vaut ce qu'il vaut : écris le développement en série entière de $\displaystyle \frac{1}{1-x}$...

Roro.

#121 Re : Entraide (supérieur) » limite fonction à plusieurs variables » 27-01-2025 22:53:14

Bonsoir,

Au temps pour moi, j'ai répondu trop rapidement et je me suis laissé avoir par cette histoire de coordonnées polaires... la prochaine fois je ferai le calcul !

Roro.

#122 Re : Entraide (supérieur) » limite fonction à plusieurs variables » 27-01-2025 17:51:00

Bonsoir,

Sans passer par les coordonnées polaires, tu peux regarder ce qui se passe le long des deux bissectrices : y=x et y=-x.

Roro.

#123 Re : Entraide (supérieur) » f admet des dérivées partielles ! » 25-01-2025 19:25:44

Bonsoir,

jad8776 a écrit :

f admet une dérivée partielle par rapport à x est ce que c'est équivalent à dire que x---->f(x,t) est dérivable pour tout x avec t fixé ? ?

Oui.

Roro.

#124 Re : Entraide (supérieur) » f admet des dérivées partielles ! » 25-01-2025 14:38:00

Bonjour,

Il y a plusieurs façons de répondre à la question "montrer que f admet des dérivés partielles".

- Soit c'est une combinaison de fonctions que l'on sait être régulières (par exemple sommes, produits, composées de polynômes, de fonctions sinus, cosinus, etc.),

- Soit on revient à la définition en écrivant que le taux d'accroissement, au point considéré, à une limite.

Roro.

#125 Re : Entraide (supérieur) » Diagonalisation » 24-01-2025 17:33:07

Bonsoir,

Je me répète. Ce site n'est pas un site qui corrige les exercices sans comprendre...
il faut que tu nous en dises un peu plus : qu'as-tu essayé, fait ? Qu'est ce qui bloque ?

Roro.

Pied de page des forums