CC BY
7
МАТЕМАТИЧЕСКАЯ ФИЗИКА
DOI: 10.5862ДРМ.230.5 УДК 517.9, 512.81
М.Р. Петриченко
Санкт-Петербургский политехнический университет Петра Великого
грубые оценки и биномиальные аппроксимации в предельных задачах для уравнения крокко
Для решения предельных задач Крокко, известных как типичная и однородная, использованы биномы (в качестве аппроксимантов точного решения), а также интегральные тождества. Получена оценка степени близости точного решения к его аппроксимации по величине ф(0). Доказано, что решение типичной предельной задачи Крокко имеет логарифмическую особенность дери-ватива при ф = 0; уравнение Крокко предоставляет необходимое и достаточное условия минимума положительного распределения, выпуклого по йф/йк. Показано, что однородная предельная задача Крокко эквивалентна двум типичным предельным задачам Крокко с общей критической точкой.
ПРЕДЕЛЬНАЯ ЗАДАЧА КРОККО, АППРОКСИМАЦИЯ, ВЫПУКЛОЕ РАСПРЕДЕЛЕНИЕ, МИНИМУМ ПОЛОЖИТЕЛЬНОГО ФУНКЦИОНАЛА.
Введение
Для уравнения Крокко
Ф(12ф / йк2 + 0,5/(к) = 0, (1)
заданного на промежутке 0 < к < 1, причем ЛИ) > 0, / е Х1(0, 1), возможна постановка разных предельных задач.
Прежде всего, может быть поставлена типичная предельная задача:
(йф / ¿к)и=о = ф(1) = 0. (2)
Помимо этой, может быть поставлена предельная задача, однородная по ф(И):
ф(0) = ф(1) = 0; (3)
а также смешанная однородная предельная задача:
ао(йф / йИ)к=о + Ьоф(0) = = а1(йф / йк)И=1 + Ь1ф(1) = 0
(4)
с действительными параметрами а,, Ь,,
I = 0, 1. ' '
Предельные задачи (1) — (4) имеют фи-
зическую основу и связаны с описанием явлений диффузии, теплопроводности, а также струйных и пристеночных вязких пограничных слоев.
В работе [1] предлагается использовать при решении типичной предельной задачи Крокко для случая Л(И) = И вместо постановки (2) условия Коши:
ф(0) - а = (йф / йк)И=о = о,
(2а)
а
можно подобрать
причем постоянную так, чтобы ф(1) = 0.
В более точной формулировке утверждается следующее:
Пусть ф = ф(И, а) и ф(1, а) = 0. Тогда
Уе > 0, = п(е) ^ |ф(1, Р)| < е, |Р - а| < П-
Следует отметить, что данное утверждение есть не что иное, как теорема о непрерывной зависимости решения дифференциального уравнения от параметров [2].
В работе [1] доказано, что точка к = 1 есть подвижная особенность задачи Коши (1), (2а):
1 ш / ¿к — - да
к—1-0
[1, 3], но 1 ф2 / 1к — -0.
к—1 - 0
Анализ имеющихся результатов
Анализ работы [1] показывает, что на самом деле доказано нечто большее, а именно, что радиус сходимости плоского ряда для дериватива 1ф/1к равен единице [1, 3, 4].
Можно конкретизировать этот результат. Пусть а > 0 — такое значение ф(0), при котором ф(1, а) = 0 и в > 0 (в — любое произвольное значение ф(0), такое, что ф(к0) = 0). Тогда
Уе > 0, 38 > 0 ^ |в -
а < е —^
|1 - к>| <8.
Это определение описывает алгоритм «пристрелки». Значение константы а можно найти методом «пристрелки». Согласно этому методу, задается а > 0 и решается задача Коши (1), (2а). Если значение ф(к0 < 1, а) = 0, то значение а следует увеличить; если ф(к0 > 1, а) = 0, то а необходимо уменьшить (рис. 1).
Можно нормировать к и ф следующим образом:
к = ^ / г, ф = аФ, Ф = Ф(^),
0 < £ < г, 0 <Ф< 1,
что означает Ф: к е (0, г) — Ф е (0, 1), т. е. переменная к изменяется в промежутке (0, г), а переменная Ф изменяется в промежутке (0, 1) [4].
Тогда предельную задачу (1), (2) в новых обозначениях перепишем в таком виде:
1-5 1 1+5 Л
Рис. 1. Зависимость ф(к), поясняющая суть алгоритма метода пристрелки
2а2г3Ф12Ф / ¿г2 + г = 0, Ф(0) - 1 = (1Ф / )г=0 = Ф(г) = 0.
Для полного совпадения с предельной задачей Крокко положим г = а-2/3, или а = г-3/2, и, следовательно, увеличение а приводит к уменьшению радиуса сходимости г и наоборот. Таким образом, можно утверждать, что
Уе > 0 38 = 8(е, а) > 0 ^ ^ -8 < г (а + е) - г < г (а - е) - г <8.
Далее легко подсчитать, что
8 = 2/3еа-5/3 + 0(е2).
Следовательно, сходимость процесса пристрелки является неравномерной по а и ухудшается с уменьшением значения а.
Для реализации пристрелки воспользуемся методом неподвижной точки, для чего реализуем последовательность Коши; полнота (нормированного) кольца С1 гарантирует сходимость (этот прием известен в линеаризованном виде [5]).
Пусть
2фк-(2фк / 1к2 + /(к) = 0,
где нижний индекс означает номер итерации.
Очевидно, что данное уравнение представляет собой итерационный аналог уравнения (1). Тогда
к
фк(Н) = а -1(к - *)/(г) / фЛ-1(г)1г
0
есть итерированное решение задачи Коши (1), (2а). Следовательно,
а = |(1 - г)/(г)/ фк-1(г)1г.
0
Далее полагаем, что /(к) = к. Тогда если в нулевом приближении ф0(к) = а, то ф1(к) = (1 — к3)/12. В первом приближении получаем а = 12-1/2 = 0,2887, что меньше соответствующего точного значения на 13 %.
Записав это решение в виде ф0(к) = а — к3/(12а), получаем, что
сф(1, а)/да = 1 + 1/(12а2) > 0.
отсюда следует, что значение ф(к, а)
вблизи правого конца промежутка he(0, 1) не убывает при увеличении а, чем и объясняется алгоритм пристрелки.
Во втором приближении
а = л/3 / 2 ln 3 -п /6 = 0,4278,
что больше точного значения на 30 %. Среднее значение постоянной а (ее релаксация) по первым двум приближениям составляет 0,3514, что дает погрешность уже в 6 % .
В предельной задаче (1), (3) точка h = 1 — 0 представляет особенность для дериватива, а именно — при h i 1 —0, dq/dh i —х.
Можно доказать (и это будет сделано далее), что возникающая сингулярность дериватива имеет логарифмический тип и при этом lim qdф / dh = 0. Следовательно, q2(h) — регулярная на промежутке 0 < h < 1 функция. Это свойство квадрата решения типичной предельной задачи Крокко дальше используется для оценки параметров решения.
Цель настоящей работы — получить грубые апостериорные оценки решений предельной задачи крокко, аппроксимирующие точные решения в среднем.
Постановка задачи
Для приближенных оценок решений предельных задач (1) — (4) в целом (т. е. на промежутке 0 < h < 1) достаточны интегральные тождества, получаемые из предельных задач.
Указанные оценки мы относим к грубым, так как они выполняются в среднем для промежутка 0 < h < 1 с некоторыми весами (ядрами), т. е. приближаются к решению в слабой топологии. При этом значения констант решения вычисляются с невысокой точностью (погрешность не ниже 1,5 %). Интегральные же тождества связаны с условием экстремума некоторого распределения. Точные значения констант задачи, как доказано в работе [6], определяются из равномерных разложений решения.
Например, в качестве приближенного решения задачи Крокко (1), (2), (2а) на промежутке 0 < h < 1 можно использовать бином
фh) = ß(l - hm)
с двумя константами: m и ß. Постоянная ß задает приближенное значение q(0), т. е. ß = q(0). Значение показателя степени m должно быть немалым, поскольку значение дериватива dq/dh в точке h=1—0 не мало.
Например, если f(h) = h, то ß = Л / 8, m = 4 (эта оценка грубая).
Действительно, константа а аппроксимирована с погрешностью в 1 %, тогда как точное значение равно примерно 1/3.
Здесь следует отметить, что В.П. Вари-ным анонсировано рекордное по точности значение а = 0,33205... (на 32 разряда!), и точность не ограничена [1, 3] (см. также краткое резюме в работе [4]).
Кроме вышеизложенного, для степенных рядов, связанных с предельной задачей Крокко, применяется аппроксимация Паде [5] (вопросы сходимости интерполяционного процесса выходят за рамки данного исследования и здесь не рассматриваются). Детальное изучение Паде-аппроксимации для задач сильной аппроксимации отрезков степенных рядов, аналитического продолжения и решений предельных задач, кроме классических монографий A.A. Гончара, С.П. Суетина, имеется в работах [7, 8]. Наконец, в связи нелинейными задачами в большой работе [9] изучены дифференциальные уравнения с квадратичной нелинейностью (там же приводится история вопроса и обширные дальнейшие ссылки). Близкая по тематике работа [10] содержит лиевы группы преобразований для уравнения пограничного слоя Крокко при градиентном (неравномерном) внешнем течении и соответствующие этим группам решения.
Основные (предваряющие) тождества
Для решения поставленных задач необходимо доказать следующую теорему, выражающую свойства решения типичной предельной задачи (1), (2).
теорема 1. В обеих предельных задачах для уравнений (1) — (3) выполняются следующие условия:
lim qdq / dh = 0,
hi1-0 (5)
lim qdq / dh = 0.
hi+0
Доказательство 1. Действительно, в силу уравнения Крокко (1) справедливо следующее равенство:
h
2фdф / dh + ф(^| f (z)dz / q>(z) = 0, 0
и при h = 0 теорема 1 выполняется.
Далее, рассмотрим условия (2). В этом случае можно записать:
(dф2 / dh)h=i = - Um ф^(z)dz / ф(z) =
^ о
= (0 хда) = lim f (h)^h) = 0, ф '(h)
что и требовалось доказать. Аналогично проверяются предельные условия (3), что и требовалось доказать.
Ниже приводится еще одно доказательство этой теоремы, использующее первый интеграл предельной задачи крокко.
Д оказательство 2. Понизим порядок в уравнении (1).
Пусть у := dф / dh, и тогда уравнение (1) принимает вид
dv2/ d 1п(1/ ф) - f (h) = 0. (1a)
Пусть в условиях предельной задачи (1) а := ф(0). Тогда получаем выражение
V =
ln( а / ф)
J f(h)dz.
В предельной задаче (2), очевидно, берется выражение с верхним знаком (минус). Если f(z) — возрастающая функция, то интеграл под корнем расходится, но получается еще одно полезное тождество:
lim фу = 0,
ф^+0
и это еще одно доказательство.
Теорема доказана дважды.
Для получения важных следствий доказанной теоремы 1 удобно ввести переменную
ш := 1п(ф / а) е (0, да).
Тогда уравнение (1а) принимает следующий вид:
dy2/ dffl- f (h) = 0. (1б)
Пусть f(h) = h. Тогда в силу уравнения
(1б) получаем уравнение
dv2 / dш - h = 0.
(1в)
Решение этого уравнения такое, что равенство у(0) = 0 принимает вид
у := dф / dh = -
ш
| h(x)d т,
или
а exp(-ra)dш / dh =
| h(T)d т.
(6)
Для решения уравнения первого порядка (6) остается разделить переменные.
Поскольку к(ю) представляет собой монотонно-возрастающее распределение, т. е.
к(0) = к(да) - 1 = 0,
то по второй теореме о среднем (формулы Бонне) можно записать:
т =
Ш
Зш , 0 <ш < ш < да J h(T)d 0
= ^ш)(ш - ш ) = стшh(ш),
где ст := 1 - ю* / ю < 1.
Следовательно, в силу уравнения (6), справедливо равенство
а ехр(-ю)1 ю / >/ш = -\/стМк,
интегрируя которое с учетом начального условия (2), получаем:
к _
ал/гсег^л/ю) = |\/СТг1г.
0
Пусть ст — постоянная, ст = стт, и тогда
а>/ПегГ(л/ш) = 2 / 3^сттк3.
Пусть к = 1. Тогда получаем следующее значение величины а:
а
= 2 / ^/ п.
(7)
Использование теоремы 1 и следствий из нее дает возможность получать неравенства и оценки, позволяющие построить приближенные решения уравнения Крокко.
Во-первых, справедливо неравенство V2 - юк(ю) < 0.
Действительно, по определению:
2 Г Н(т^ т V _ 0
{ / тн
= ю < ю,
юН(ю) юН(ю)
= ст< 1,
что равносильно доказываемому неравенству.
Далее, если в уравнении (1б) /Н) — неубывающая функция Н, то
ю
| / (Н(т))d т = (ю-ю*) / (Н(ю)) =
о
= стю/(Н(ю)), ст := 1 - ю* / ю < 1. Следовательно,
_н _
а7легГ(ч/ю) = ^ст^ {V / (г)dz,
о
и выражение для а имеет вид
_1 _
а = л]стт / п {/^г. (7а)
о
Введем обозначение
= 8(Н),
о
из которого ясно, что g(Н) — возрастающая функция. Тогда
Н = gа^/п / стт ег^)), (8)
где g-1 — символ обратного отображения.
Полученное выражение (8) есть не что иное, как приближенное решение уравнения Крокко.
Дальше для иллюстрации решения (8) мы рассмотрим степенные функции /Н). Пусть
/(Н) = Н, я > 0 ^ ал/Лег^л/ю) = = ЬЁн^1, а = —2— тсттт^.
2" г\ \ т '
я + 2
Тогда решение уравнения крокко имеет вид
V/2+1 = ег^), Н = (ег^ ))2/(5+2).
При я = 0 получается точное решение уравнения Фурье, при я = 1 — приближенное решение уравнения крокко:
Н = (ег^ ))2/3.
Если же /(Н) — невозрастающее распределение, т. е. /(0) = 1, то
и тогда из уравнения (1б) получаем следующий первый интеграл:
V = -л/ю* = -Тёю, 9 := ю* / ю < 1.
Если провести разделение переменных,
то
у!9~Н = ал/пе г^л/ю),
а = \/9т / п.
Окончательное выражение для Н имеет следующий вид:
Н = ег
Интегральное уравнение, равносильное уравнению Крокко
Уравнение Крокко (1) можно записать в следующем виде:
2d ф / dН + {/ (г )dz / ф(г) = 0. (1г)
о
отсюда получается интегральное уравнение для определения ф(Н):
ф(Н) - а + 0,5 Г(Н - г)/(г]аг = 0. (1д)
о ф(г)
Введем итерационный процесс, обозначив номер итерации буквой к. Тогда решение уравнения (1д) с помощью указанного процесса принимает вид
фк(Н) = а - 0,5{(Н - г)/(г) / фк^г.
0
Пусть /(г) = г, тогда, полагая ф0(Н) = а, последовательно получаем:
Н3
ф (Н) = а--, а2 = 1/12,
12а '
ф2(Н) = а —а {(Н—^^ dz = а - 1 / (2а): 2а 0 1 г
х\Н / 31п^— + Н / 61п(1 + Н + Н2) -1 - Н
- Н / л/3 (агс1Е2Н+1 -п/61- 1/31пг-1-Нз г>
а
= 1 / 2(1п \/3 -п /(6^3)),
и т. д.
ю
Видно, что уже на второй итерации возникает логарифмическая особенность у де-риватива 1ф/1к, к — 1 — 0.
Ввиду того, что ф е С<2)(0,1) — элемент полного пространства, для сходимости итерационного процесса достаточна сходимость в себе последовательности (фк)к>0.
Экстремальное свойство решения уравнения Крокко
Прежде всего отметим, что уравнение Крокко порождается некоторым производящим функционалом. В связи с этим справедливо следующее утверждение.
утверждение 1. Уравнение Крокко равносильно канонической системе:
1 ф / 1к = у, 1 у / 1к = -0,5/(к) / ф
с гамильтонианом Е(к, ф, у) = у2 -- /(к)1п(1/ ф).
Тогда вдоль решения (характеристики) предельной задачи Крокко распределение 1д удовлетворяет условию экстремума:
| у21к = 1/4.
(10а)
1д (ф) = | ((1 ф / 1к)2 + /(к)1п(1 / ф))1к
д
— М > 0, УДс (0,1), или (что тождественно)
—
(9)
11, < 8/д,
где 1 — изменение распределения вдоль куска действительной характеристики (решения), 8 — изменение распределения вдоль любой допустимой характеристики.
Нетрудно показать, что необходимое условие (9) экстремума (минимума) распределения 1д совпадает с уравнением Крокко. Доказательство существования локального экстремума у распределения 1д, предполагаемого в утверждении 1, опускается.
Далее, рассмотрим связь биномиальной аппроксимации решения уравнения Крок-ко с экстремальным свойством решения. Прежде всего, из предельной задачи (1), (2) следует, что
| у21к = 0,51 / (к) йк.
(10)
В частности, если /(к) = к, то равенство (10) принимает вид
Поэтому справедлива следующая теорема.
теорема 2. Пусть выбрано следующее распределение ф(к), аппроксимирующее решение предельной задачи (1), (2):
ф(к) = а(1 - кт), (11)
и д = (0, 1), т. е. распределение (9) является условием глобального экстремума I на интервале (0, 1).
Тогда, если ф(к) доставляет экстремум распределению (9), то выполняется равенство (10а), т. е. имеет место импликация:
(9) — (10). Другими словами, для выполнения условия (9) необходимо выполнение тожде-ст ва (10).
Доказательство. Проверим утверждение теоремы 2 для бинома (11). Действительно, подстановка распределения (11) в функционал (9) приводит к условию
+ 1/21п(1 / а) — М > 0. (11а)
2т -1
Найдем минимум левой части выражения (11а) по а. Дифференцируем это выражение по а и приравниваем результат нулю:
= 1/4, а = V2т - 1 / (2т).
2т -1
Но это выражение совпадает с тождеством (10а) для бинома (11).
Теорема 2 доказана.
Совершенно аналогично тождеству
(10) можно доказать тождества с ядром кт, т > 0.
Действительно, поскольку в условиях предельной задачи (1), (2) выполняется утверждение теоремы 1, согласно которому
(ф1 ф / 1к)к=+» = (ф1 ф / 1к)к=1-0 = 0,
то, интегрируя по частям, получим для любого т > 0 такое равенство:
1 1
| ктф12ф / 1к21к = -т| кт-1ф(к)1 ф(к) -
0 0
1
кт (1 ф / 1к)21к = - т / 2(кт-1ф2)0 +
+ 0,5т(т -1)Г Нт-2ф2(Н)dН -0
1
-{ Нт (dф / dН)2 dН = 0,5т(т -1) х
0
1 1 х{ Нm-2ф2(Н)dН - { Нт^ф / dН)2dН.
0 0 Таким образом,
= 0,5
Г Нт ^ф / dН)2 dН =
0
1 1 т(т - 1)| Нт-2ф2(Н^Н + | Нт/(Н^Н
(12)
Нетрудно показать, что при т = 0 равенство (12) переходит в равенство (10), что и требуется.
Если же т = 1, то
1 1 Г Н(dф / dН)2 dН = 0,5{ Н/(Н)dН. (12а) 0 0 В случае если т = 2, то
Г Н2^ф / dН)2 dН
1
= Г ф2(Н)dН + 0,5 { Н2 / (Н)dН. (12б)
0
Тождества (12а) и (12б) удобно использовать при биномиальной аппроксимации решения предельной задачи (1), (2) в виде полинома, зависящего от параметров.
Реализация интегральных тождеств и апостериорные оценки констант приближенного решения
В данном разделе рассмотрено несколько частных случаев реализации тождеств (12), (12а) и (12б) для построения биномиальных аппроксимаций решения уравнения Крокко. При этом распределение /(Н) считается степенной функцией от Н.
случай 1. Пусть /(Н) = Н5. Тогда из тождеств (12а) и (10) следует, что биномиальная аппроксимация
ф(К) = а(1 - Нт) (13)
реализуется для различных я при следующих значениях параметров а и т:
5 = 0, а = 0,5559, т = 2,6180;
0.35
о.зо
0.25
0.20
0.15
0.10
0.05
Ф
\
\ 1
\
\ \
\
\
\
0.1 02 0.3 0.4 0.5 0.6 0.7 0,8 0.9 1.0
Рис. 2. Биномиальные аппроксимации решения предельной задачи (1) при различных наборах параметров:
а = 0,325, т = 4,137 (1); а = 1/3, т = 3,927 (2); а = 0,3307, т = 4 (5)
я = 1, а = 0,3259, т = 4,1370; я = 2, а = 0,2319, т = 5,6460; я = 3, а = 0,1803, т = 7,1500.
В предельной задаче Крокко я = 1, и тогда погрешность определения а составляет 2 %. Если я = 0, то точное значение а = 0,5642 превосходит найденное на 1,5 %.
Существует еще две неплохие аппроксимации решения задачи (1), (2), я = 1. Именно, если /(к) = к, то а = 1/3, т = 3,922 и а= 77/8, т = 4.
На рис. 2 представлены три биномиальные аппроксимации ф(к), отвечающие найденным значениям параметров а и т. Видно, что незначительное различие кривых наблюдается в области малых значений к. При к — 1 — 0 расслоение кривых незначительно.
случай 2. Пусть /(к) = 1 — кя. Тогда аналогично первому случаю получаем следующие значения параметров:
я = 1, а = 0,4446, т = 1,8431; я = 2, а = 0,5000, т = 2,000; я = 3, а = 0,5213, т = 2,1019; я = да, а = 0,5559, т = 2,6180.
Разумеется, последний случай соответствует случаю я = 0 первого случая.
Рис. 3. График положительного и отрицательного решений (сплошная линия и пунктир) типичной предельной задачи Крокко (1), (2) в координатах к, ф (иллюстрация Примера 1)
случай 3. Пусть /(к) = (1 — к)я. Тогда получаем следующий набор параметров: я = 0, а = 0,5559, т = 2,6180; я = 1, а = 0,4446, т = 1,8340; я = 2, а = 0,3433, т = 1,7071; я = 3, а = 0,3366, т = 1,4413.
Об однозначности решений уравнения Крокко
Задача данного раздела — доказать на примерах, что решения уравнения Крокко не являются 2-диффеоморфизмами.
Пример 1. Начнем с типичной предельной задачи (1), (2). Пусть ф(к) — ее решение. Тогда функция — ф(к) также является решением уравнения (1), таким, что
1ф(0)/1к = 0, ф(1) = 0, ф(0) + а = 0.
Поэтому график решения в координатах к, ф представляет собой полуовал, симметричный относительно начала координат (рис. 3), отображение ф: (0 < к < 1) — (0, ф0) — инъекция (мономорфизм или однозначное отображение).
Пример 2. Рассмотрим теперь задачу Коши (1), (2а), равносильную предельной задаче Крокко (1), (2). В этом случае необходимо подобрать постоянную а таким образом, чтобы выполнялось условие ф(1) = 0. Алгоритм пристрелки уже описан выше в разделе «Анализ имеющихся результатов».
Очевидно, что уравнение Крокко (1) допускает «понижение порядка» и с этом случае принимает вид
к
2ф1 ф / 1к + ф(к)| /а)И / ф(/) = 0. (14)
0
Действительно, перепишем уравнение (1) в виде интегро-дифференциального уравнения:
к
21 ф / 1к + | /а 1 / ф(*) = 0,
0
а затем домножим обе его части на ф(к). Очевидно, что при этом корневое пространство расширится и появится лишнее решение ф(к) = 0.
Уравнение (14) можно переписать в виде
л -С
ф2(Н) = а2 - |ф(гУгГ /(г^ / ф(/), (15)
0 0 откуда получается, что
1 г
а2 =|ф(г ^г | / а / ф(/), (16)
0 0
или в другой записи:
а2 =| /а^ / ф(/)| ф(г)dz. (16а)
0 г
Поэтому с учетом равенства (16а) выражение (15) можно записать следующим образом:
1 г
ф2(Н) = |ф(г )dz | / (г / ф(г). (15а)
Н 0
Следовательно, справедливо следующее, почти очевидное, утверждение.
утверждение 2. Вещественное решение предельной задачи (1), (2) или равносильной задачи Коши (1), (2а) на промежутке 0 < Н < 1 существует, если отображение /(Н) > 0.
Доказательство. Действительно, из формул (15) и (15а) следует, что знак решения определяется только знаком /Н).
Переходим к однородной предельной задаче Крокко (1), (3). Тогда в равенстве (16) а = 0. Тогда интегральное уравнение (14) допускает решение ф(Н) = 0, 0 < Н < 1. Это решение удовлетворяет условиям (3).
Пусть в предельной задаче (1), (3) выполняются условия /(Н) > 0, ф > 0. Тогда d2ф/dh2 < 0. Отрицательные решения находятся вне нашего рассмотрения как не имеющие физического смысла.
Утверждение 2 доказано.
Дальнейшие выкладки проводим для «чистого» случая Крокко, т. е. когда /(Н) = Н. Для этого требуется доказать следующую лемму.
лемма. Пусть ф(Н) — решение предельной задачи (1), (3). Тогда существует Н0 е (0, 1) такое, что при Н = Н0 dф/dН = 0.
Доказательство. Перепишем первый интеграл для уравнения Крокко в виде
ф '(Н) = ф '(0) - (1/2)}^ / ф(*), (17)
0
причем штрихами обозначены произво-
дные по Н.
Пусть критическое (подозреваемое на максимум) значение Н = Н0 > 0 существует, и тогда
Н>
ф '(0) = (1 / 2)Г tdt / ф(г) > 0.
0
Необходимо показать, что 0 < Н0 < 1. Повторно интегрируя равенство (17), получаем:
Н
ф(Н) - Нф '(0) + (1 / 2)Г (Н - г)г / ф(г)dt = 0.
0
Теперь пусть Н = 1, в этом случае
ф'(О) = (1/2)|(1 - г)г / ф(гЭ, (17а)
0
и тогда справедливо выражение
( 1 Н
ф(Н) = (1/2)1 Н| г / ф(г^ + Г г2 / ф(г^ -
V н 0
1 Л ( 1
- НГ г2 / ф(г^ = (1/2)1 Н\1 / ф(г^ +
0 У V Н
1 1 Л
+ (1 - Н)| г2 / ф(г^ - Г г2 / ф(г^
0 Н У
1
> (1/2)(1 - Н)Г г2/ ф(г)dt > 0.
0
Следовательно, ф(Н) > 0, 0 < Н < 1.
Из равенств (17) и (17а) вытекает, что
1 1
Г tdt / ф(г) = Г г2dt / ф(г) > 0. (18)
Н 0
Нетрудно видеть, что если в уравнении (18) Н0 = 0, то из этого необходимо следует, что ф = <» почти всюду на промежутке (0, 1). Но это недопустимо (исключено). Случай, когда Н0 = 1, также оказывается невозможным, поскольку слева в равенстве должен стоять 0, а справа — положительное число.
Лемма доказана.
Полученный здесь результат, очевидно, не зависит от /(Н). Попутно в ходе доказательства установлено, что dф/dh > 0 на левом конце промежутка (от 0 до точки Н = Н0 —0) и что ф(Н) > 0, когда 0 < Н < 1.
Далее продолжим проведение выкладок для «чистого» случая Крокко.
Легко доказать, что 1ф/1к < 0 на промежутке к0+ 0 < к < 1 — 0.
Для этого проинтегрируем уравнение Крокко от правого конца промежутка:
1
ф '(к) -ф '(1) -11 / ф(г) = 0,
к
откуда следует, что
1
ф '(1) = -11 / ф( г) < о.
К
Следовательно,
к
ф '(к) = - | к1г / ф(г) < 0,
к+0
к + 0 < к < 1 - 0,
что и требовалось.
Для наглядности представим график функции ф = ф(к). Она должна отражаться на нем в виде овала в первом квадранте координатной плоскости с максимальным значением ф0 := ф(к0) > 0 (рис. 4). Видно, что предельная задача Крокко в записи (1), (3) распадается на две типичные предельные задачи для промежутков (+0, к0 — 0) и (к + 0, 1 — 0):
ф(0) = (1 ф / 1к)к=К-0 = 0, 0 < к < к;
ф(1) = (1 ф / 1к)
к=к0 + 0
= 0.
(17)
Решения с такими условиями легко построить. Например, если я = 0 (/ = 1), то
Рис. 4. график решения однородной предельной задачи Крокко (1), (3); при к0 функция ф имеет максимальное положительное и минимальное отрицательное значения
к0 - к! = ф0\/пегГ(л/ю); к - к = ф^л/пегГ^л/ю); (18)
ш := 1п(ф0 / ф), ф0 := ф(к0) > ф(к),
где к,, кг — сужения к(ю) на левый и на правый промежутки соответственно, т. е.
к = к,, 0 < к < к; к = к, к < к < 1.
Р 07 г 0
Пусть в решении (18) ф = 0. Тогда к = 1 — к, к = 1/2, ф0 = 1/(2п0'5).
Максимальное значение ф, которое записывается как ф(к0) = ф0, оказывается вдвое меньше, чем соответствующее решение в типичной предельной задаче Крокко (1), (2).
В случае, когда /(к) = к, решение можно получить аналогичным образом. На промежутке 0 < к < к0 ставим такие же предельные условия, как и в типичной предельной задаче Крокко, а именно
ф(0) = ф '(к) = 0.
Далее следует применить аппроксимацию в виде кубического бинома:
ф(к) = а(к3 - (к - к)3). С этой целью используем тождество
ф '(0) = (1/2)/ ф(г). 0
Из него следует, что
ф '(0) = 3ак2,
и, проделав простые расчеты, получим следующее равенство:
2тЗ = 1 П
а к ^^
которое связывает величины а и к0
Теперь пусть ф := аФ, £ := к / к0. Функция Ф = Ф(0 удовлетворяет уравнению Крокко и допускает кубическую аппроксимацию:
ф( о = 1 - (1 -о3-
Тогда легко подсчитать, что а2 = к03, откуда получаем значения к0 и а:
(1 у/6
к =[;/31| I = 0,68 > 1/2, а = 0,46.
Заключение
В результате проведенного исследования можно сделать следующие заключения:
для приближенных оценок решений предельных задач Крокко (1) — (4) в целом (т. е. на промежутке 0 < Н < 1) достаточно использовать интегральные тождества, получаемые из предельных условий. Такие оценки можно рассматривать как грубые, поскольку значения констант решения вычисляются с погрешностью не менее 1,5 %. Показано, что интегральные тождества связаны с условием экстремума некоторого распределения. В качестве эталонных решений использованы решения, полученные В.П. Вариным;
применение интегральных тождеств оказывается достаточным для определения постоянных биномиальной аппроксимации (различных) предельных задач Крокко, т. е. (1), (2) и (1), (3), с невысокой точностью
(погрешность составляет около 1 %). Максимальное расхождение точного решения предельной задачи и биномиальной аппроксимации наблюдается (естественно) вблизи особенности Н = 1 — 0 для дерива-тива. Эта особенность является регулярной, «стираемого» (логарифмического) порядка;
уравнение Крокко связано с необходимым условием минимума для положительного распределения (функционала). Соответствующий гамильтониан знакопе-ременен. Решение задачи на минимум распределения равносильно определению констант бинома из интегральных тождеств;
однородная предельная задача (1), (3) распадается на две типичные предельные задачи Крокко для промежутков левее и правее критической точки (максимума) ф(Н). Интегральные тождества в предельной задаче (1), (3) также применимы для грубой оценки постоянных.
СПИСОК ЛИТЕРАТУРЫ
[1] Варин В.П. Плоский асимптотический ряд Блазиуса // Математический форум (сборник). Сер. Итоги науки. Владикавказ, 2015. С. 34-47;
[2] Шилов Г.Е. Математический анализ. Спецкурс. М.: Физматгиз, 1961.
[3] Варин В.П. Плоские разложения и их приложения. М.: Препринты ИПМ им. М.В. Келдыша, 2014. № 23. 25 с. URL: htpp://library. keldysh.ru/preprint.asp?id=2014-23;
[4] Варин В.П. Плоский асимптотический ряд Блазиуса // Теория операторов, комплексный анализ, математическое моделирование. Матер. научн. конф. Пос. Дивноморское. 7 - 13 сент. 2014. С. 16.
[5] Башкин В.А., Диканский Е.А. Решение уравнений Прандтля при нулевом градиенте давления на неизотермической поверхности // Ученые Записки ЦАГИ. 2000. Т. 31. № 3-4. С. 47-59.
[6] Брюно А.Д., Горючкина И.В. Сходимость степенных разложений решений ОДУ. М.: Препринты ИПМ им. М.В. Келдыша, 2013. № 94. 13 с. URL: htpp://library.keldysh.ru/
ргерг1п1.а$р?1ё=2013-94;
[7] Сорокин В.Н. Аппроксимации Эрмита — Паде обобщенных гипергеометрических рядов от двух переменных//Сибирский математический журнал. 2002. Т. 43. № 4. С. 894-906.
[8] Комарова Е.В. Асимптотическая Паде-интерполяция решений краевых и вариационных задач с параметром. Автореферат дис. ... канд. физ.-мат. наук. 05.13.18. М., 2003. 14 с.
[9] Феоктистов В.В., Мякинник О.О. О решении задач пограничного слоя, преобразованных к системе уравнений в частных производных первого порядка с квадратичной нелинейностью// Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2004. № 1. С. 54-71.
[10] Павлов В.Г., Якимов Е.И. Переменные Крокко и уравнения пограничного слоя на поверхности при неравномерном внешнем потоке// Вестник КГТУ им. А.Н. Туполева. 2004. № 2. С. 30-33.
[11] Петриченко М.Р. Однородная предельная задача Крокко//Научное обозрение физико-математических и технических наук. М.: Про-сперо, 2015. Вып. 14. С. 53-55.
СВЕДЕНИЯ ОБ АВТОРЕ
ПЕТРИЧЕНКО Михаил Романович - доктор технических наук, заведующий кафедрой гидравлики Санкт-Петербургского политехнического университета Петра Великого.
195251, Российская Федерация, г. Санкт-Петербург, Политехническая ул., 29 fonpetrich@mail.ru
Petritchenko M.R. ROUGH ESTIMATES AND BINOMIAL APPROXIMATIONS FOR THE CROCCO EQUATION IN THE BOUNDARY PROBLEMS.
In order to solve the Crocco boundary problems known as the typical one and the uniform one, binomials (as approximants of exact solutions) and integral identities have been used. The extent of the closeness of the exact solution to its approximation was estimated using the 9(0) value. The solution of the typical Crocco boundary problem was proved to have a logarithmic singularity of the derivative at 9 = 0. The Crocco equation was found to provide both necessary and sufficient conditions for the minimum of a positive distribution being vortex in dp/dh. The uniform Crocco boundary problem was demonstrated to be equivalent to the two typical Crocco boundary problems with a common critical point.
CROCCO BOUNDARY PROBLEM, APPROXIMATION, CONVEX DISTRIBUTION, MINIMUM OF POSITIVE FUNCTIONAL.
REFERENCES
[1] V.P. Varin, Ploskiy asimptoticheskiy ryad Blaziusa [The plane asymptotical Blasius series], Matematicheskiy forum, seriya «Itogi nauki», Vladikavkaz, 2015, 34-47.
[2] G.E. Shilov, Matematicheskiy analiz, spetskurs [Mathematical analysis, special course], M.: Fizmatgiz, 1961.
[3] V.P. Varin, Ploskiye razlozheniya i ikh prilozheniya [The plane expansions and their applications], Preprinty IPM im. M.V. Keldysha, 2014, No. 23, URL: htpp://library.keldysh.ru/ preprint.asp?id=2014-23;
[4] V.P. Varin, Ploskiy asimptoticheskiy ryad Blaziusa, Teoriya operatorov, kompleksnyy analiz, matematicheskoye modelirovaniye [The plane asymptotical Blasius series, Theory of operators, Complex analysis, Mathematical simulation], Divnomorskoye, 2014, P. 16.
[5] V.A. Bashkin, E.A. Dikanskiy, Resheniye uravneniy Prandtlya pri nulevom gradiyente davleniya na neizotermicheskoy poverkhnosti [The solution of Prandtl equation for zero-pressure gradient on the non-isothermal surface], Uchenyye zapiski TsAGI. 31(3-4) (2000) 47-59.
[6] A.D. Bryuno, I.V. Goryuchkina, Skhodimost stepennykh razlozheniy resheniy ODU [The convergence of power expansions of ODE solutions], Preprinty IPM im. M.V. Keldysha, 2013, No. 94, URL: htpp://library.keldysh.ru/preprint. asp?id=2013-94;
[7] V.N. Sorokin, Approksimatsii Ermita-
Pade obobshchennykh gipergeometricheskikh ryadov ot dvukh peremennykh [The Hermit-Pade approximations to generalized hypergeometrical series in two variables], Sibirskiy matematicheskiy zhurnal. 43(4) (2002) 894-906.
[8] E.V. Komarova, Asimptoticheskaya Pade-interpolyatsiya resheniy krayevykh i variatsionnykh zadach s parametrom [The asymptotical Pade-interpolation of the boundary-value and variational problems with a parameter], avtoreferat dissert.... k.f-m. nauk, 05.13.18, Moscow, 2003.
[9] V.V. Fyeoktistov, O.O. Myakinnik, O reshenii zadach pogranichnogo sloya, preobrazovannykh k sisteme uravneniy v chastnykh proizvodnykh pervogo poryadka s kvadratichnoy nelineynostyu [On the solution of the boundary-layer problems transformed to the partial first-order differential system with a quadratic linearity], Vestnik MGTU im. N.E. Baumana Seriya «Yestestvennyye nauki». 1(2004) 54-71.
[10] V.G. Pavlov, E.I. Yakimov, Peremennyye Krokko i uravneniya pogranichnogo sloya na poverkhnosti pri neravnomernom vneshnem potoke [The Crocco variables and the boundary-layer equations on the surface under nonuniform external flow], Vestnik KGTU im. A.N. Tupoleva. 2 (2004) 30-33.
[11] M.R. Petrichenko, Odnorodnaya predelnaya zadacha Krokko [The uniform Crocco boundary problem], Nauchnoye obozreniye fiziko-matematicheskikh i tekhnicheskikh nauk, Prospero, No. 14, Moscow, 2015, 53-55.
THE AUTHOR
PETRITCHENKO Michael R.
Peter the Great St. Petersburg Polytechnic University
29 Politechnicheskaya St., St. Petersburg, 195251, Russian Federation
fonpetrich@mail.ru
© Санкт-Петербургский политехнический университет Петра Великого, 2015
