Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1276 Re : Entraide (supérieur) » continuité » 04-01-2017 23:00:14
Bonsoir vercar,
Qu'as-tu essayé de faire. C'est un exercice où il faut commencer par écrire ce que tu veux démontrer avec les quantificateurs. Sais-tu écrire que la fonction [tex]f:x\mapsto x^3[/tex] est continue en 1 à l'aide des quantificateurs ?
Ensuite, il faut effectivement travailler un peu pour montrer que c'est vrai. En le faisant, j'ai choisi [tex]\delta = \min\{1, \varepsilon/7\}[/tex]... (avec les notations "usuelles" epsilon-delta), mais il y a évidemment plein de choix possibles.
Roro.
#1277 Re : Le coin des beaux problèmes de Géométrie » Nombre de points dans une couronne » 04-01-2017 22:50:17
Bonsoir,
Effectivement, ma question revient au même que de déterminer combien il est possible de mettre de boules de rayon 1/2 à l'intérieur d'une couronne de rayons (1/2, 5/2). Ce qui ne fait pas vraiment avancer le schmilblick puisque la méthode que tu proposes en faisant le quotient des volumes dans ce cas fournit le majorant 24 dans le cas de la dimension 2...
Après réflexions, en dimension 2, j'ai cru que je ne pouvais ranger que 12 billes dans la couronne. Maintenant je pense plutôt pouvoir en ranger 18.
Si d'autres ont des idées !
Roro.
#1278 Re : Le coin des beaux problèmes de Géométrie » Nombre de points dans une couronne » 16-12-2016 21:30:19
Bonsoir,
Merci PTRK pour ces remarques - je commençais à désespérer de ne voir aucune idée de réponse...
Par contre, j'ai quelques remarques à apporter :
1/ Ta méthode ne semble pas donner le nombre de billes mais seulement un majorant. Il se trouve qu'en dimension 2, on arrive effectivement à placer 12 billes...
2/ Ton raisonnement est basé sur le fait que tu associes à chaque bille, une boule de rayon 1/2 (car les billes sont distantes les unes des autres de 1), mais rien ne me dit que cette boule de rayon 1/2 doit être inclue dans la couronne. D'ailleurs dans le cas de la dimension 2, pour arriver à mettre 12 billes dans la couronne, j'en place certaines (beaucoup) sur le bord ! (car mes billes sont "ponctuelles", ce ne sont pas des boules de rayon 1/2)
Roro.
#1279 Re : Entraide (supérieur) » partie entière d'une racine carrée » 11-11-2016 14:01:07
En encadrant [tex]\sqrt{n^2+n+1}[/tex] entre deux entiers consécutifs.
Roro.
P.S. Bonjour !
#1280 Re : Entraide (supérieur) » Developpemement limité » 06-11-2016 20:02:51
Bonsoir,
La méthode que tu as proposé d'utiliser semble être la bonne (DL), et pas trop long si tu es efficace... et si tu as l'habitude...
C'est en forgeant qu'on devient forgerons !
Roro.
P.S. J'ai trouvé -1/3 (mais je suis allé très (trop) vite et je n'ai pas vérifié mes calculs) mais en tout cas la méthode fonctionne...
#1281 Le coin des beaux problèmes de Géométrie » Nombre de points dans une couronne » 29-10-2016 08:54:22
- Roro
- Réponses : 5
Bonjour,
J'ai une collection de billes qui ne s'aiment pas trop : entre chacune d'elle, il y a une distance d'au moins 1 (mètre).
Je dois ranger le plus de bille possible dans la couronne suivante : [tex]C = \{x \in \mathbb R^d~;~ 1<|x|<2\}[/tex] ([tex]|\cdot|[/tex] désigne la norme euclidienne). Ma question est la suivante : combien puis-je en mettre dans cette couronne ?
En dimension [tex]d=2[/tex], je peux en ranger [tex]12[/tex] mais je ne sais pas si c'est le maximum (j'en suis persuadé mais je ne l'ai pas démontré) !
La vraie question est de savoir ce qu'il se passe en dimension [tex]d=3[/tex]... avec une preuve ?
Roro.
#1282 Re : Entraide (supérieur) » Topologie - compact » 03-10-2016 20:23:36
Bonsoir,
On applique maintenant l'inégalité triangulaire :
Soit $b\in B(b,r)$, $d(a_n,b)\leq d(a_n,x)+d(x,b) < d(a_n,x)/2 + min( d(a_n,x)/2)$
Je ne suis pas d'accord avec la dernière inégalité (et aussi avec le début de la ligne : $b\in B(b,r)$ n'est sans doute pas ce que tu voulais écrire !)
En fait c'est beaucoup plus simple : je pense que tu t'emmêles les pinceaux avec les notations :
Puisque $x\in B(an,d(an,b)/2))$ tu sais que
$d(a_n,x) < d(a_n,b)/2$ (1)
On a aussi $x\in B(b,r)$ donc $d(x,b) < r$. Par définition de $r$ tu sais que $r\leq d(an,b)/2$; tu en déduis donc
$d(x,b) < d(an,b)/2$ (2)
Il n'y a plus qu'à ajouter (1) et (2)...
Reprend tranquillement tout ça et tu verras qu'il n'y a rien de difficile !
Roro.
#1283 Re : Entraide (supérieur) » Dual Espace Vectoriel » 03-10-2016 20:06:24
Bonsoir,
L'ensemble des formes linéaires c'est effectivement ce qu'on appelle le dual (algébrique). C'est assez classique comme définition !
Si tu veux des exemples, il suffit de fouiller un peu sur le web (par exemple sur wikipedia)...
Roro.
#1284 Re : Entraide (supérieur) » Topologie - compact » 02-10-2016 19:35:22
Bonsoir sbl_bak,
Pour terminer la preuve, tu peux le faire par l'absurde (le but étant - comme tu l'as dis - de montrer que pour tout [tex]n[/tex], l'intersection [tex]B(a_n,d(a_n,b)/2) \cap B(b,r)[/tex] est vide).
Tu prends [tex]x \in B(a_n,d(a_n,b)/2) \cap B(b,r)[/tex] et tu appliques l'inégalité triangulaire (je note [tex]d_n = d(b,a_n)[/tex]).
Tu devrais arriver à une inégalité de la forme [tex]d_n \leq d(b,x) + d(x,a_n) <...< d_n[/tex] ce qui est absurde (je te laisse remplir les ... mais tu as presque tout fait, n'oublie pas les inégalités strictes qui implique l'absurdité).
Roro.
#1285 Re : Entraide (supérieur) » la limite de la suite de fonction : fn(x)=nsin x (cos x)^n , n->+oo » 10-07-2016 17:03:03
Bonjour,
Je n'ai pas lu en détail mais la dernière ligne ressemble à la limite d'une suite de la forme [tex]n\lambda^n[/tex] avec [tex]|\lambda|<1[/tex]. Elle tend donc vers 0 (comparaison croissance polynomiale-exponentielle).
Ensuite, il faut effectivement savoir si la suite converge uniformément ou pas vers 0...
Roro.
#1286 Re : Café mathématique » Algorithme pour divergence nulle. » 01-06-2016 06:03:47
Bonjour dike,
Je ne pense pas que la question que je pose soit un "sous problème" mais plutôt un "sur problème" : si tu ne sais pas répondre, la question que tu poses n'a pas beaucoup de sens.
Enfin, si je comprend ta réponse, tu voudrais calculer une des solutions. Tu peux par exemple choisir une fonction a qui ne dépend pas de y et tu devrais facilement en déduire une fonction c, puis une fonction b qui convient.
Roro.
#1287 Re : Café mathématique » Algorithme pour divergence nulle. » 30-05-2016 15:55:40
Bonjour dike,
Avant de commencer à essayer de calculer la solution, il faudrait t'assurer qu'il en existe une (et une seule ?).
Roro.
#1288 Re : Entraide (supérieur) » résolution des equations différentiels » 20-05-2016 13:18:00
Bonjour,
Il suffit de chercher sur le web : "primitives de fractions rationnelles"
C'est classique et tu trouveras plein de cours et d'exemples pour les déterminer...
Roro.
#1289 Re : Entraide (supérieur) » résolution des equations différentiels » 17-05-2016 20:34:38
Bonsoir,
Je suis d'accord avec ta fonction F (il y a des erreurs de signes entre les différents posts, mais l'idée est la bonne...)
Avec les conditions initiales x(0)=y(0)=0, il est clair que ton problème est assez mal défini !
Ce type d'équation provient certainement d'une modélisation "physique" dans laquelle on ne doit pas avoir x(0)=y(0)...
Bref, si tu regardes le cas que tu suggères (x(0=-y(0)=epsilon>0) alors tu peux effectivement appliquer le théorème de Cauchy-Lipschitz en disant tout simplement que F est de classe [tex]\mathcal C^1[/tex] au voisinage du point initial (F sera donc localement lipschitzienne en ce point).
Roro.
P.S. Le nombre de fautes d'orthographe dans tes posts n'incitent pas à te répondre. Essaye d'y faire un peu plus attention car pour bien se faire comprendre quand on fait des maths, il faut aussi bien maitriser l'écriture !
#1290 Re : Entraide (supérieur) » résolution des equations différentiels » 14-05-2016 17:43:30
Bonjour,
C'est une nouvelle question ?
Qu'as-tu essayé ?
On ne va pas tout faire pour toi...
Roro.
P.S. Tu peux poser u=(x,x',y,y').
#1291 Re : Entraide (supérieur) » résolution des equations différentiels » 13-05-2016 15:35:31
Bonjour,
Tu as donc [tex]u'=\pm \sqrt{a/u+b}[/tex] où a et b sont deux constantes. C'est une équation à variables séparées dont tu peux obtenir les solutions en trouvant les primitives de [tex]x \mapsto 1/\sqrt{a/x+b}[/tex].
Roro.
#1292 Re : Entraide (supérieur) » résolution des equations différentiels » 12-05-2016 17:30:05
Si tu obtiens l'équation dont tu parles (je n'ai pas vérifié) alors on peut peut être trouver les solutions. Multiplie par u' et intègre. Tu aura ensuite une équation sur u'...
Roro.
#1293 Re : Entraide (supérieur) » résolution des equations différentiels » 12-05-2016 15:25:46
Re,
J'avais répondu cela car si tu as une solution (x,y) alors x" et y" sont proportionnels. Tu peux donc en déduire une relation entre x et y, puis obtenir une équation différentielle sur x uniquement. Mais dans le cas général, cette équation ne me semble pas avoir de solution explicite.
Roro.
#1294 Re : Entraide (supérieur) » résolution des equations différentiels » 12-05-2016 14:13:42
Bonjour,
Dans le cas général, ça me semble assez compliqué. Est ce que tu as des infos sur les conditions initiales ?
Roro.
#1295 Re : Entraide (supérieur) » Dérivée double discrète. » 28-04-2016 18:06:17
Bonjour dike,
Le plus simple est d'utiliser une formule classique pour approcher la dérivée première : [tex]f'(x) \approx \frac{f(x+h)-f(x-h)}{2h}[/tex] (dont on peut montrer que c'est une relativement bonne approximation lorsque h est petit, en utilisant par exemple une formule de Taylor).
Tu peux ainsi trouver une approximation de [tex]\frac{\partial a}{\partial x\partial y}[/tex] est écrivant \frac{\partial a}{\partial x\partial y} = \frac{\partial}{\partial x} \frac{\partial a}{\partial y} et en itérant deux fois la formule précédente.
Une autre possibilité est de voir ta dérivée seconde comme un laplacien dans d'autres coordonnées (du style [tex]u=x+y[/tex], [tex]v=x-y[/tex] - je n'ai pas vérifié). Dans ce cas tu peux utiliser directement la formule que tu évoques pour les dérivées secondes.
Mais dans tous les cas, il te faudra plus de points que seulement [tex]a(x,y)[/tex], [tex]a(x+dx,y+dy)[/tex] et [tex]a(x-dx,y-dy)[/tex].
Roro.
#1296 Re : Entraide (supérieur) » inegalité » 22-04-2016 21:25:35
#1297 Re : Entraide (supérieur) » Tenseur & divergence. » 22-04-2016 15:41:22
Re,
J'ai l'impression que tu confonds la dérivée partielle [tex]\frac{\partial a}{\partial x}[/tex] avec un quotient [tex]da[/tex] divisé par [tex]dx[/tex], ce qui n'est pas le cas.
C'est comme si tu disais que pour une fonction d'une variable on a [tex]f'(x) = \frac{f(x+h)-f(x)}{h}[/tex]. Sauf que l'égalité est rarement vraie (en général le terme de droite dépend de h !).
De plus dans ton dernier exemple le cas est beaucoup plus simple que dans ton premier exemple puisque ton tenseur est d'ordre 2, et qu'il est symétrique. Néanmoins, connaitre la divergence ne suffit pas pour connaitre toutes les dérivées partielles (c'est ce qu'il faudrait pour approcher T(x+dx,y+dy) en fonction de T(x,y) à l'ordre 1).
Concernant ta dernière remarque, elle rejoint la première : par définition
[tex]\frac{\partial a}{\partial x}(x,y) = \lim_{h\to 0} \frac{f(x+h,y)-f(x,y)}{h}.[/tex]
Ainsi, sur l'axe [tex](Oy)[/tex], il suffit de remplacer [tex]x[/tex] par [tex]0[/tex]. D'un point de vue géométrique, ça correspond à l'accroissement de [tex]a[/tex] lorsqu'on traverse l'axe [tex](Oy)[/tex] dans le sens de l'axe [tex](Ox)[/tex].
Roro.
#1298 Re : Entraide (supérieur) » Tenseur & divergence. » 22-04-2016 13:30:28
Bonjour dike,
Sans plus d'information sur T, on ne peut pas espérer avoir, de façon exacte, [tex]T(x+dx,y+dy,z+dz)[/tex] en fonction de [tex]T(x,y,z)[/tex], même à l'aide de la divergence de [tex]T[/tex].
Par contre, si tu supposes que dx, dy et dz sont "petits" alors tu peux utiliser une formule de Taylor qui dira
[tex]T(x+dx,y+dy,z+dz) \approx T(x,y,z) + dx \frac{\partial T}{\partial_x}(x,y,z) + dy \frac{\partial T}{\partial_y}(x,y,z) + dz \frac{\partial T}{\partial_z}(x,y,z).[/tex]
Le fait que la divergence de [tex]T[/tex] soit nulle ne t'aide pas beaucoup pour simplifier cette expression...
Peut être qu'en sachant où tu veux en venir on pourra mieux t'orienter ?
Roro.
#1299 Re : Entraide (supérieur) » complexes et arctangente » 22-04-2016 09:25:10
Bonjour abdesssamad5555,
Qu'as-tu essayé pour l'instant ?
En te rappelant que [tex]\mathrm{arg}(1/z)=-\mathrm{arg}(z)[/tex] ça devrait déjà te simplifier le travail...
Roro.
#1300 Re : Entraide (supérieur) » Sobolev embedding » 13-03-2016 12:17:15
Bonjour Mona,
Pour aller plus vite que d'écrire ce message, tu tapes directement "Sobolev embedding" sur google et le premier lien devrait te donner la réponse (wikipédia) !
Roro.







