| Attributes | Values |
|---|
| rdfs:label
| - Équations de Cauchy-Riemann (fr)
- Cauchy–Riemanns ekvationer (sv)
- Ecuaciones de Cauchy-Riemann (es)
- Equações de Cauchy–Riemann (pt)
- Równania Cauchy’ego-Riemanna (pl)
- Умови Коші — Рімана (uk)
- 柯西-黎曼方程 (zh)
|
| rdfs:comment
| - Les équations de Cauchy-Riemann en analyse complexe, ainsi nommées en l'honneur d'Augustin Cauchy et Bernhard Riemann, sont deux équations aux dérivées partielles exprimant une condition nécessaire et suffisante pour qu'une fonction (d'une variable complexe, à valeurs complexes) différentiable au sens réel en un point soit différentiable au sens complexe en ce point. En d'autres termes, ce sont les conditions à ajouter à la différentiabilité au sens réel pour obtenir la différentiabilité au sens complexe. (fr)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:contenu
| - :On garde les notations précédentes ; en particulier, on note r un réel tel que et , et h un nombre complexe tel que .
* On suppose que soit ℂ-différentiable en : alors lorsque .
** On définit :
***
*** si . Alors : lorsque
*** peut s'écrire : ,
*** ou encore : , où
** Il est clair que l'application est ℝ-linéaire . Par conséquent :
*** est ℝ-différentiable en
*** , , ou : .
* Réciproque : on suppose que soit ℝ-différentiable en et que , autrement dit : , où .
** Par hypothèse, en notant L la ℝ-différentielle de en , on peut écrire :
*** , où lorsque
*** Si , alors, par ℝ-linéarité de L,
*** Ainsi : , et lorsque
*** Si , on en déduit que : lorsque . L'existence de cette limite établit que est ℂ-différentiable en , et que .
*** Ceci prouve aussi que lorsque est ℂ-différentiable en :
**** sa différentielle est l'application .
****. (fr)
|
| prop-fr:titre
| - Démonstration du théorème (fr)
|
| foaf:isPrimaryTopicOf
| |
| named after
| |
| has abstract
| - Les équations de Cauchy-Riemann en analyse complexe, ainsi nommées en l'honneur d'Augustin Cauchy et Bernhard Riemann, sont deux équations aux dérivées partielles exprimant une condition nécessaire et suffisante pour qu'une fonction (d'une variable complexe, à valeurs complexes) différentiable au sens réel en un point soit différentiable au sens complexe en ce point. En d'autres termes, ce sont les conditions à ajouter à la différentiabilité au sens réel pour obtenir la différentiabilité au sens complexe. Lorsque la fonction est différentiable au sens réel en tout point d'un ouvert, ces équations expriment une condition nécessaire et suffisante pour qu'elle soit holomorphe sur cet ouvert. On considère une fonction d'une variable complexe, définie sur un ouvert U du plan complexe ℂ. On utilise ici les notations suivantes :
* la variable complexe est notée , où x, y sont réels ;
* les parties réelle et imaginaire de sont notées respectivement et , c'est-à-dire : , où , sont deux fonctions réelles de deux variables réelles. (fr)
|
| is dbo:wikiPageWikiLink
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)