코시-코발렙스카야 정리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 1계 코시-코발렙스카야 정리
4. 고계 코시-코발렙스카야 정리
- 4.1. 예시
5. 코시-코발렙스카야-카시와라 정리
- 5.1. 예시
6. 역사
7. 해가 존재하지 않는 예
참조

1. 개요

코시-코발렙스카야 정리는 편미분 방정식의 해의 존재성에 대한 정리로, 해석적인 계수를 갖는 초기 조건 문제에 대한 해의 존재와 유일성을 보장한다. 이 정리는 실수체 또는 복소수체 상의 벡터 공간에서 정의되며, 해는 원점의 근방에서 해석적인 함수로 존재한다. 1계 코시-코발렙스카야 정리와 고계 코시-코발렙스카야 정리가 있으며, 1계 정리에서는 해석 함수가 아닌 매끄러운 함수로 조건을 약화시키면 성립하지 않는다. 코시-코발렙스카야-카시와라 정리는 이 정리를 일반화한 것으로, D-가군의 언어로 표현된다. 이 정리는 오귀스탱 루이 코시와 소피야 코발렙스카야에 의해 발전되었으며, 해가 존재하지 않는 예시도 존재한다.

2. 정의

$K$ 가 실수체 또는 복소수체이고, $V$ 와 $W$ 가 $K$ 에 대한 벡터 공간이라고 하자. $U\subset V\times W$ 가 0의 근방이고, $A_1,\dots,A_{n-1}\colon U\to\operatorname{End}(V)$ 와 $b\colon U\to V$ 가 해석함수일 때, 미지의 함수 $f\colon W\to V$ 에 대한 초기 조건 문제는 항상 원점의 근방에서 해를 갖는다.

: $\partial_{x_n}f = A_1(x,f) \partial_{x_1} f + \cdots + A_{n-1}(x,f)\partial_{x_{n-1}}f + b(x,f)$

: $f|_{x_n=0}= 0$

즉, 원점의 어떤 근방 $N\subset W$ 에 대하여, 위 조건들을 만족시키는 함수 $f\colon N\to V$ 가 존재한다.

이 정리에서 $A_i$ 및 $b$ 는 해석함수여야 한다. 만약 이를 매끄러운 함수로 약화시키면 이 정리는 성립하지 않는다. 레비의 예는 이 정리가 모든 매끄러운 함수에 대해 일반적으로 유효하지 않음을 보여준다.

이 정리는 계수가 해석 함수일 때 ''n''차원에서 ''m''개의 미분 방정식 시스템의 해의 존재에 관한 것이다. 이 정리와 증명은 실수 또는 복소 변수의 해석 함수에 유효하다.

''K''는 실수 또는 복소수 체를 나타내고, ''V'' = ''K''^''m'', ''W'' = ''K''^''n''라고 하자. ''A''₁, ..., ''A''_''n''−1는 ''W'' × ''V''의 (0, 0)의 근방에서 정의되고 ''m'' × ''m'' 행렬의 값을 갖는 해석 함수이고, ''b''는 같은 근방에서 정의되고 ''V''의 값을 갖는 해석 함수라고 하자. 그러면 0 근방에서 준선형 코시 문제에 대한 ''W''의 근방이 존재한다.

초기 조건은

: $f(x) = 0$

: $x_n = 0$ 인 초곡면에서

근처에서 고유한 해석 해 ''ƒ'' : ''W'' → ''V''를 갖는다.

이 정리는 추상적인 (실수 또는 복소수) 벡터 공간에서도 표현할 수 있다. ''V''와 ''W''는 유한 차원 실수 또는 복소수 벡터 공간이고, ''n'' = dim ''W''라고 하자. ''A''₁, ..., ''A''_''n''−1은 End (''V'')의 값을 갖는 해석 함수이고, ''b''는 ''W'' × ''V''의 (0, 0)의 근방에서 정의되고 ''V''의 값을 갖는 해석 함수라고 하자. 이 경우, 동일한 결과가 성립한다.

(''t'', ''x'') = (''t'', ''x''₁, ''x''₂,..., ''x_n'')를 ''n''+1차원 실수 벡터 공간 '''R'''^''n''+1(혹은 ''n''+1차원 복소수 벡터 공간 '''C'''^''n''+1)의 점으로 하고, 다음 형태의 편미분 방정식계를 고려한다.

: $\frac{ \partial^{p_i} u_i}{ \partial t^{p_i}}= F_i \biggl (t, x, u_1, u_2,\dotsc, u_m, \dotsc,\frac{\partial^$

u_j}{\partial t^{\nu_0}\partial x_1^{\nu_1} \dotsb \partial x_n^{\nu_n} }, \dotsc, \biggr )\quad (1 \leq i,j,\leq m )

:

\quad |\nu| = \nu_1 + \nu_1 + \dotsb + \nu_n \leq p_j , \quad\nu_0

초기 조건

:

\frac{ \partial^k u_i}{ \partial t^k}(0,x)=w_{ik}(x)\quad (1 \leq i \leq m, 0 \leq k \leq p_i-1)

각 ''F_i'' (1 ≤ ''i'' ≤ ''m'')는 좌변에 나타나는

\partial^{p_i} u_i/ \partial t^{p_i}

의 항을 포함하지 않고, '''정규형'''(normal form)이라고 가정한다.

여기서 ''F_i'' (1 ≤ ''i'' ≤ ''m'')는 모든 변수

t, x, u_1, \dotsc, u_m, \dotsc, (\partial^

u_j / \partial t^{\nu_0} \partial x_1^{\nu_1} \dotsb \partial x_n^{\nu_n}), \dotsc에 대해 (0,0,...,0)의 근방에서 수렴 멱급수를 가지며, 즉 해석적 (C^ω급)이고, ''w_ik''(''x'') (1 ≤ ''i'' ≤ ''m'', 0 ≤ ''k'' ≤ ''p_i''-1)도 ''x''=0의 근방에서 해석적이라고 가정한다. 이 때, 상기 편미분 방정식의 초기 문제를 만족하는 해석적인 해 ''u_i''(''t'', ''x'') (1 ≤ ''i'' ≤ ''m'')가 (''t'',''x'')=(0,0)의 근방에서 유일하게 존재한다.

3. 1계 코시-코발렙스카야 정리

$K$ 가 실수체 또는 복소수체이고, $V=K^m$ , $W=K^n$ 라고 하자. $A_1, \dots, A_{n-1}$ 는 $W \times V$ 의 (0, 0) 근방에서 정의된 $m \times m$ 행렬 값을 갖는 해석 함수이고, $b$ 는 같은 근방에서 정의되고 $V$ 의 값을 갖는 해석 함수라고 하자. 그러면 0 근방에서 준선형 코시 문제에 대한 $W$ 의 근방이 존재한다.

: $\partial_{x_n}f = A_1(x,f) \partial_{x_1} f + \cdots + A_{n-1}(x,f)\partial_{x_{n-1}}f + b(x,f)$

초기 조건은

: $f(x) = 0$

이며, 초곡면

: $x_n = 0$

근처에서 고유한 해석 해 $f:W \to V$ 를 갖는다.

레비의 예는 이 정리가 모든 매끄러운 함수에 대해 일반적으로 유효하지 않음을 보여준다.

이 정리는 추상적인 (실수 또는 복소수) 벡터 공간에서도 표현할 수 있다. $V$ 와 $W$ 는 유한 차원 실수 또는 복소수 벡터 공간이고, $n = \dim W$ 라고 하자. $A_1, \dots, A_{n-1}$ 은 End(''V'')의 값을 갖는 해석 함수이고, $b$ 는 $W \times V$ 의 (0, 0)의 근방에서 정의되고 $V$ 의 값을 갖는 해석 함수라고 할 때도, 동일한 결과가 성립한다.

4. 고계 코시-코발렙스카야 정리

$F$ 와 $f_j$ 가 0 근처에서 해석 함수라면, 다음의 비선형 코시 문제는

: $\partial_t^k h = F\left(x,t,\partial_t^j\,\partial_x^\alpha h \right),\text{ 여기서 }j$

다음의 초기 조건을 가집니다.

: $\partial_t^j h(x,0) = f_j(x),\qquad 0\le j$

0 근처에서 유일한 해석적 해를 갖습니다.

이것은 오른쪽에 나타나는 ''h''의 도함수를 벡터 값 함수의 성분으로 간주함으로써 1차 문제로부터 따릅니다.

(''t'', ''x'') = (''t'', ''x''₁, ''x''₂,..., ''x_n'')를 ''n''+1차원 실수 벡터 공간 '''R'''^''n''+1(혹은 ''n''+1차원 복소수 벡터 공간 '''C'''^''n''+1)의 점으로 하고, 다음 형태의 편미분 방정식계를 고려합니다.

: $\frac{ \partial^{p_i} u_i}{ \partial t^{p_i}}= F_i \biggl (t, x, u_1, u_2,\dotsc, u_m, \dotsc,\frac{\partial^$

u_j}{\partial t^{\nu_0}\partial x_1^{\nu_1} \dotsb \partial x_n^{\nu_n} }, \dotsc, \biggr )\quad (1 \leq i,j,\leq m )

:

\quad |\nu| = \nu_1 + \nu_1 + \dotsb + \nu_n \leq p_j , \quad\nu_0

초기 조건

:

\frac{ \partial^k u_i}{ \partial t^k}(0,x)=w_{ik}(x)\quad (1 \leq i \leq m, 0 \leq k \leq p_i-1)

여기서 각 ''F_i'' (1 ≤ ''i'' ≤ ''m'')는 좌변에 나타나는

\partial^{p_i} u_i/ \partial t^{p_i}

의 항을 포함하지 않는 '''정규형'''(normal form)입니다.

''F_i'' (1 ≤ ''i'' ≤ ''m'')는 모든 변수

t, x, u_1, \dotsc, u_m, \dotsc, (\partial^

u_j / \partial t^{\nu_0} \partial x_1^{\nu_1} \dotsb \partial x_n^{\nu_n}), \dotsc에 대해 (0,0,...,0)의 근방에서 수렴 멱급수를 가지며, 즉 해석적 (C^ω급)이고, ''w_ik''(''x'') (1 ≤ ''i'' ≤ ''m'', 0 ≤ ''k'' ≤ ''p_i''-1)도 ''x''=0의 근방에서 해석적이라고 가정합니다. 이 때, 상기 편미분 방정식의 초기 문제를 만족하는 해석적인 해 ''u_i''(''t'', ''x'') (1 ≤ ''i'' ≤ ''m'')가 (''t'',''x'')=(0,0)의 근방에서 유일하게 존재합니다.

4. 1. 예시

열 방정식

:

\partial_t h = \partial_x^2 h

다음 조건을 갖는다.

:

h(0,x) = {1\over 1+x^2}\text{ for }t = 0

(0, 0) 주변에서 전개되는 유일한 형식적 멱급수 해를 갖는다. 그러나 이 형식적 멱급수는 0이 아닌 모든 ''t'' 값에 대해 수렴하지 않으므로, 원점 근방에 해석적인 해가 없다. 이는 위의 |''α''| + ''j'' ≤ ''k'' 조건을 생략할 수 없음을 보여준다. (이 예시는 코발렙스카야(Kowalevski)에 의한 것이다.)

5. 코시-코발렙스카야-카시와라 정리

코시-코발렙스카야-카시와라 정리는 해석적 계수를 갖는 선형 편미분 방정식 계에 대한 코시-코발렙스카야 정리의 일반화이다. D-가군의 언어로 제시된 코호몰로지적 공식을 포함하며, 존재 조건은 각 방정식의 비동차 부분 간의 적합성 조건과 유도 함자 $Ext^1$ 의 소멸을 포함한다.

5. 1. 예시

n \le m

이라고 하자.

Y=\{ x_1=\cdots=x_n \}

을 설정한다. 미분 방정식계

\partial_{x_i} f=g_i, i=1,\ldots,n,

은 호환 조건

\partial_{x_i}g_j=\partial_{x_j}g_i

가 만족될 경우에만 해

f\in \mathbb C \{ x_1,\ldots,x_m\}

를 가지며, 초기 조건

f|_Y=h

를 통해 유일한 해를 얻는다. 여기서

h\in \mathbb C \{ x_{n+1},\ldots,x_m\}

이다.

6. 역사

오귀스탱 루이 코시가 1842년 특수한 경우를 증명하였고,^[1] 소피야 코발렙스카야가 1875년 이를 일반화하였다.^[2]

7. 해가 존재하지 않는 예

무한번 미분 가능(C^∞급)하더라도, 해석적(C^ω급)이 아닌 경우에는 해의 존재가 보장되지 않는다. 1956년 수학자 H. Lewy는 다음과 같은 예를 제시했다.^[1]

: $\frac{\partial v_1}{\partial x_1}=\frac{\partial v_2}{\partial x_2} - 2x_2 \frac{\partial v_1}{\partial x_3}-2 x_1 \frac{\partial v_2}{\partial x_3}$

f(x_3)

:

\frac{\partial v_2}{\partial x_1}=-\frac{\partial v_1}{\partial x_2} +2 x_1 \frac{\partial v_1}{\partial x_3}-2 x_1 \frac{\partial v_2}{\partialx_3}

이 예에서, ''x''₁, ''x''₂, ''x''₃에 대해 (0,0,0)의 근방에서 1계 연속 미분 가능한 해를 가진다면, ''f''(''x''₃)는 ''x''₃ = 0의 근방에서 해석적이어야 한다. 따라서, ''f''(''x''₃)가 C^∞급이더라도 해석적이지 않으면 국소해가 존재하지 않는다. 이 방정식은^[1]

:

u=v_1+i v_2 \quad(i=\sqrt{-1})

라고 하면,

:

\frac{\partial u}{\partial x_1}+i\frac{\partial u}{\partial x_2}+2i(x_1+ix_2)\frac{\partial u}{\partial x_3}=f(x_3)

의 형태로 정리할 수 있다.^[1]

참조

_[1] 논문 1842
_[2] 논문 Zur Theorie der partiellen Differentialgleichungen http://gdz.sub.uni-g[...] 1875

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com