Диференціальне рівняння з частинними похідними: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Немає опису редагування
Рядок 17:
і його розв'язок
: <math>u(x,y) = c,\,</math>
де ''c'' - довільна [[константа]] (незалежна від ''x''). Ці два приклади показують, що загальний розв'язок звичайного диференціального рівняння містить невідомі константи, а загальний розв'язок диференціального рівняння з частинними похідними містить довільні функції. Розв'язок диференціального рівняння з частинними похідними, взагалі кажучи, не є єдиним. У загальному випадку на межі даної області задаються додаткові умови. Наприклад, розв'язок вище розглянутого рівняння (функція <math>f(y)</math>) визначається єдиним чином, якщо <math>u</math> визначена на лінії <math>x=0</math>.
 
== Визначення ==
Рядок 53:
де коефіцієнти <math>\Alpha_i \quad i=1, \ldots, n,</math> приймають значення 1, -1, 0, причому число від'ємних коефіцієнтів (індекс інерції) і число нульових коефіцієнтів (дефект форми) є афінними інваріантами.
 
Коли всі <math>\Alpha_i = 1</math> або всі <math>\Alpha_i = - 1</math> тобто коли форма ''Q'' відповідно додатно або від'ємно визначена (дефінітна), рівняння називається еліптичним в точці <math>x \in D</math>. Якщо один з коефіцієнтів <math>\Alpha_i</math> від'ємний, а всі інші додатні (або навпаки), то рівняння називається гіперболічним в точці ''х''. У випадку коли <math>l, \, 1 < l < n - 1</math> коефіцієнтів <math>\Alpha_i</math> — додатні, а решта ''n - l'' від'ємні, рівняння називається ультрагіперболічним. Якщо ж хоча би один з цих коефіцієнтів (але не всі) рівний нулю то рівняння називається параболічним в точці ''х''. Кажуть, що у області визначення ''D'' рівняння є рівнянням еліптичного, гіперболічного або параболічного типу, якщо воно відповідно еліптичне, гіперболічне або параболічне у кожній точці цієї області. Еліптичне в області ''D'' рівняння називається рівномірно еліптичним, якщо існують [[дійсне число|дійсні числа]] <math>k_0</math> і ''k_1'' однакового знаку такі, що
:<math>k_0\sum\limits_{i = 1}^m \lambda_i^2 \leqslant Q(\lambda_1, \lambda_2, \ldots, \lambda_m) \leqslant k_1 \sum\limits_{i = 1}^m \lambda_i^2</math>
для всіх <math>x \in D</math>.
Рядок 70:
# <math>D = B^2 - AC \, = 0</math> — [[Параболічне рівняння]] (тут передбачається, що в даній точці коефіцієнти ''A'', ''B'', ''C'' не рівні одночасно нулю).
 
У разі, коли всі коефіцієнти ''A'', ''B'', ''C'' - сталі, рівняння має один і той же тип в усіх точках площини змінних ''x'' і ''y''. У випадку, якщо коефіцієнти ''A'', ''B'', ''C'' неперервно залежать від ''x'' і ''y'', множини точок, в яких дане рівняння відноситься доє гіперболічного (еліптичномуеліптичного), типу, утворює на площині [[відкрита множина|відкриту]] область, що називається гіперболічною (еліптичною), а [[множина]] точок, в яких рівняння відноситься до параболічного типа, є [[замкнута множина|замкнутою]]. Рівняння називається змішаним, якщо в деяких точках площини воно гіперболічне, а в деяких - еліптичне. В цьому випадку параболічні точки, як правило, утворюють лінію, звану ''лінією зміни типу'' або ''лінією виродження''.
 
== Існування і єдиність розвязку ==
Рядок 123:
 
==== Зв'язок з аналітичними функціями ====
Дійсна і уявна частини будь-якої [[Голоморфна функція|голоморфної функції]] <math>f</math> комплексної змінної <math>z=x+iy</math> є '''спряжено гармонічними''' функціями: вони обидві задовольняють рівнянню Лапласа і їх [[градієнт]]и ортогональні. Якщо ''f''=''u''+''iv'', то [[умови Коші — Рімана]] затверджуютьстверджують наступне:
 
: <math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial v}{\partial x} = -\frac{\partial u}{\partial y},\,</math>