A Generalization of an Integrability Theorem of Darboux

Michael Benfield, Helge Kristian Jenssen, Irina A. Kogan

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

In his monograph “Systèmes Orthogonaux” (Darboux, in Leçons sur les systèmes orthogonaux et les coordonnées curvilignes, Gauthier-Villars, Paris, 1910) Darboux stated three theorems providing local existence and uniqueness of solutions to first-order systems of the type ∂xiuα(x)=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}.For a given point x¯ ∈ Rn it is assumed that the values of the unknown uα are given locally near x¯ along {x|xi=x¯ifor eachi∈Iα}. The more general of the theorems, Théorème III, was proved by Darboux only for the cases n= 2 and 3. In this work we formulate and prove a generalization of Darboux’s Théorème III which applies to systems of the form ri(uα)|x=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}where R={ri}i=1n is a fixed local frame of vector fields near x¯. The data for uα are prescribed along a manifold Ξ α containing x¯ and transverse to the vector fields {ri|i∈Iα}. We identify a certain Stable Configuration Condition (SCC). This is a geometric condition that depends on both the frame R and on the manifolds Ξ α; it is automatically met in the case considered by Darboux. Assuming the SCC and the relevant integrability conditions are satisfied, we establish local existence and uniqueness of a C1-solution via Picard iteration for any number of independent variables n.

Original languageEnglish (US)
Pages (from-to)3470-3493
Number of pages24
JournalJournal of Geometric Analysis
Volume29
Issue number4
DOIs
StatePublished - Dec 1 2019

Fingerprint

Integrability
Local Existence
Theorem
Vector Field
Picard Iteration
Configuration
First-order System
Existence and Uniqueness of Solutions
Existence and Uniqueness
Transverse
Unknown
Generalization

All Science Journal Classification (ASJC) codes

  • Geometry and Topology

Cite this

Benfield, Michael ; Jenssen, Helge Kristian ; Kogan, Irina A. / A Generalization of an Integrability Theorem of Darboux. In: Journal of Geometric Analysis. 2019 ; Vol. 29, No. 4. pp. 3470-3493.
@article{da44dc95490d464680ebc94b014ae35c,
title = "A Generalization of an Integrability Theorem of Darboux",
abstract = "In his monograph “Syst{\`e}mes Orthogonaux” (Darboux, in Le{\cc}ons sur les syst{\`e}mes orthogonaux et les coordonn{\'e}es curvilignes, Gauthier-Villars, Paris, 1910) Darboux stated three theorems providing local existence and uniqueness of solutions to first-order systems of the type ∂xiuα(x)=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}.For a given point x¯ ∈ Rn it is assumed that the values of the unknown uα are given locally near x¯ along {x|xi=x¯ifor eachi∈Iα}. The more general of the theorems, Th{\'e}or{\`e}me III, was proved by Darboux only for the cases n= 2 and 3. In this work we formulate and prove a generalization of Darboux’s Th{\'e}or{\`e}me III which applies to systems of the form ri(uα)|x=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}where R={ri}i=1n is a fixed local frame of vector fields near x¯. The data for uα are prescribed along a manifold Ξ α containing x¯ and transverse to the vector fields {ri|i∈Iα}. We identify a certain Stable Configuration Condition (SCC). This is a geometric condition that depends on both the frame R and on the manifolds Ξ α; it is automatically met in the case considered by Darboux. Assuming the SCC and the relevant integrability conditions are satisfied, we establish local existence and uniqueness of a C1-solution via Picard iteration for any number of independent variables n.",
author = "Michael Benfield and Jenssen, {Helge Kristian} and Kogan, {Irina A.}",
year = "2019",
month = "12",
day = "1",
doi = "10.1007/s12220-018-00119-6",
language = "English (US)",
volume = "29",
pages = "3470--3493",
journal = "Journal of Geometric Analysis",
issn = "1050-6926",
publisher = "Springer New York",
number = "4",

}

A Generalization of an Integrability Theorem of Darboux. / Benfield, Michael; Jenssen, Helge Kristian; Kogan, Irina A.

In: Journal of Geometric Analysis, Vol. 29, No. 4, 01.12.2019, p. 3470-3493.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Generalization of an Integrability Theorem of Darboux

AU - Benfield, Michael

AU - Jenssen, Helge Kristian

AU - Kogan, Irina A.

PY - 2019/12/1

Y1 - 2019/12/1

N2 - In his monograph “Systèmes Orthogonaux” (Darboux, in Leçons sur les systèmes orthogonaux et les coordonnées curvilignes, Gauthier-Villars, Paris, 1910) Darboux stated three theorems providing local existence and uniqueness of solutions to first-order systems of the type ∂xiuα(x)=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}.For a given point x¯ ∈ Rn it is assumed that the values of the unknown uα are given locally near x¯ along {x|xi=x¯ifor eachi∈Iα}. The more general of the theorems, Théorème III, was proved by Darboux only for the cases n= 2 and 3. In this work we formulate and prove a generalization of Darboux’s Théorème III which applies to systems of the form ri(uα)|x=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}where R={ri}i=1n is a fixed local frame of vector fields near x¯. The data for uα are prescribed along a manifold Ξ α containing x¯ and transverse to the vector fields {ri|i∈Iα}. We identify a certain Stable Configuration Condition (SCC). This is a geometric condition that depends on both the frame R and on the manifolds Ξ α; it is automatically met in the case considered by Darboux. Assuming the SCC and the relevant integrability conditions are satisfied, we establish local existence and uniqueness of a C1-solution via Picard iteration for any number of independent variables n.

AB - In his monograph “Systèmes Orthogonaux” (Darboux, in Leçons sur les systèmes orthogonaux et les coordonnées curvilignes, Gauthier-Villars, Paris, 1910) Darboux stated three theorems providing local existence and uniqueness of solutions to first-order systems of the type ∂xiuα(x)=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}.For a given point x¯ ∈ Rn it is assumed that the values of the unknown uα are given locally near x¯ along {x|xi=x¯ifor eachi∈Iα}. The more general of the theorems, Théorème III, was proved by Darboux only for the cases n= 2 and 3. In this work we formulate and prove a generalization of Darboux’s Théorème III which applies to systems of the form ri(uα)|x=fiα(x,u(x)),i∈Iα⊆{1,⋯,n}where R={ri}i=1n is a fixed local frame of vector fields near x¯. The data for uα are prescribed along a manifold Ξ α containing x¯ and transverse to the vector fields {ri|i∈Iα}. We identify a certain Stable Configuration Condition (SCC). This is a geometric condition that depends on both the frame R and on the manifolds Ξ α; it is automatically met in the case considered by Darboux. Assuming the SCC and the relevant integrability conditions are satisfied, we establish local existence and uniqueness of a C1-solution via Picard iteration for any number of independent variables n.

UR - http://www.scopus.com/inward/record.url?scp=85057594271&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85057594271&partnerID=8YFLogxK

U2 - 10.1007/s12220-018-00119-6

DO - 10.1007/s12220-018-00119-6

M3 - Article

AN - SCOPUS:85057594271

VL - 29

SP - 3470

EP - 3493

JO - Journal of Geometric Analysis

JF - Journal of Geometric Analysis

SN - 1050-6926

IS - 4

ER -