Файл: Воробьев, Е. М. Уравнения математической физики (некоторые вопросы, связанные с уравнением Гамильтона-Якоби и волновым уравнением) учеб. пособие.pdf

Скачать файл (3,58Мб)

Заказать решение

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 01.11.2024

Просмотров: 66

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

При этой
=		* +	/7-Г.
Кроме того
y^t-f	= О	при	S
у*	_ 0	при	rrs?-zj	^)
Равенство нулю скобок Лаграняа в точке /				записывается
с' использованием	(?oJ	в виде;

где

Поскольку строки матрицы 2f линейно независимы, то из фз)

следует,	что	»
И далее
с другой	стороаы, учжта&ф^. н			, получаем и
• сл-t. - " /		4 8 0	ЧР01«орачи	* Теорема до"--
			- 43 -

Решение (is) задачи (з) , фу) определяет У6 еГо, 7уотобра нве J*^ лагранжевой поверхности

"	л-. h ? > \ ^	' u - ^ f }	(?<)
	на некоторую поверхность	/7
		'•у

Отображение £ "	/ ?	f^ft/f^,	определяет глобальные
координаты р'	на А	для любого
Теорема 9.	Поверхность		// * лагранжева. Доказательство.

V-

У'<

9?у />'У*,У)

Следовательно,	/,=¥'(tf'J
±Мgr) , миг)	щги-) шш.)

Теореиа доказана.

Замечание. Отображение ^ можно определить и в том случае когда начальная лагранжева поверхность не имеет специального ви

да •	А именно: нужно заменить ( ? ? ) на
/ "с {Р'/'Уб А '		1	функции Ф ¥	определяются как решения
системы Гамильтона;
safari	=		d#ftft).	/

//>= ¥>#/•)

удовлетворяющие начальным условиям

При зтом теорема 9, как легко убедиться, .'остается справедливой.

Пусть выполнены условия теоремы 5. Тогда для любого фикси


рованного & ^/~°, ?1/	отображения
является диффеоыорфизмпм. Следовательно,		при ё 6/Го 71/ проек
тирование лагранневой поверхности Ас		на плоскость

> = /> = • • • = /> = О

есть диффеоморфизм, иными словами, в качестве глобальных к

нат на Л	можно выбрать	^ j	...J f„
Если У&ф->ъ№ 6 € Г0,Г7			?'	то для
ТС-О, чтобы отвбражение (77)		было диффеоморфизмом,		необходим

и достаточно существование обратного отображения. Последнее спечено,например, если выполнены следующие условия

а) производные	1ЛГ°	ограничены при
б) для доотаточно больших		/
		где

тчаая положительная возрастающая функция, что Действительно, предположим, что существуют такие неравные

Рассмотрим следующую задачу Еоши

где

Еоли условия а) и б) выполнены, то аналогично тому,как вт сделано при доказательстве теоремы (l) , для решения задач можно получить априорную оценку, из которой следует, что данной задачи Коши существует при £ , ~§аш у

- k6 -


решение задачи	, то справедливо тождество
из которого дифференциальное уравнение			получаетоя о по
мощью дифференцирования по ^		. Заметим, что ./Y'yJ/'f' ни при
каком £ б	; в противном случае в силу единственности
решения задачи Коши мы имели бы			"j?"	, что проти
речит (?з) . Полагая в ( f o j		6 = О	получаем

Полученное противоречие доказывав! сделанное утверждение.

§ б. Лагранжевн поверхности А				и уравнение Гамильтона
	Якоби.
Пуоть Л		- лагранжева поверхность			и пусть при
i €ГЪ 717		поверхности /I	сохраняют свойство			поверхнос
ти И"	быть диффеоморфно проектируемой на плоскость
	/>	.-.=4-а
На каждой поверхности А			можно выбрать р.		в качестве
глобальных координат, т.е. /Iе			задается уравнением
Рассмотрим функцию
Пуоть	— множество тех и только тех точек					V	fc	*
для которых £		€ /~Oj ?1/ и	принадлежит обраву поверхности
' / } *	при проектировании ез на плоокость /у					—	"'	^^^
Теорема 10.		Криволинейный интеграл

- 47

для любого кусочно-гладкого замкнутого пум , непрерывн

стягиваемого в точку по -П-

Доказател^ство. В силу того, что поверхность?f~~-. лагра

Следовательно, достаточно доказать соотношения

Из определения функций			следует, что
Значит,
м	/	• , -	э/<-	эё	А
	't-щг)
С другой стороны,

Правая часть последнего равенства совпадает с правой


частью (f3) в силу системы Гамильтона и соотношений
= — —	. Теорема доказана, поскольку уравнение
разрешимо относительно			Для любого £	.принадлежащего
проекция поверхности		/ } *	на плоскость /° — о
Теорема I I . Пусть			Т- решение задачи Коши		(г)
Справедлива формула:		QT

Pt)

в виде'

где интеграл в правой части берется по любому кусочно-гладком


пути, лежащему в S2.	и соединяющему точки (£'о) и (Clj		71) .
Доказательство. Из теоремы 5 следует, что поверхность			А
задается уравнениями /V - — —		Значит, в данном
олучав И^Л^/Г^Т"/	• и любой замкнутый путь, лежащий в
непрерывно отягнваетоя в точку" по		, так что выражение