Теплофизика высоких температур, 2022, T. 60, № 5, стр. 725-739

Краевые задачи для уравнений параболического типа в нецилиндрических областях

Э. М. Карташов *

МИРЭА – Российский технологический университет (Институт тонких химических технологий им. М.В. Ломоносова),
Москва, Россия

* E-mail: kartashov@mitht.ru

Поступила в редакцию 09.08.2021
После доработки 05.09.2021
Принята к публикации 28.09.2021

Полный текст (PDF)

Аннотация

Развита математическая теория построения интегральных соотношений нового вида в аналитических решениях краевых задач для уравнений параболического типа в областях с границами, перемещающимися во времени (нецилиндрические области). Для равномерного закона перемещения границы предложена модификация метода обобщенных тепловых потенциалов простого и двойного слоя, что приводит к функциональным соотношениям нового (простейшего) вида по сравнению с результатами, известными ранее, основанными на переходе и дальнейшем решении интегральных уравнений Вольтерра при нахождении неизвестной плотности потенциалов. Развитый метод основан на предварительном нахождении операционной (по Лапласу) форме плотности потенциала, что значительно сокращает громоздкости и вычислительные трудности, имеющие место при традиционном применении тепловых потенциалов для решений уравнений параболического типа в нецилиндрических областях. Рассмотрены многочисленные случаи для ограниченной и частично ограниченной областей, представляющие практический интерес для многих приложений. Развита теория метода функций Грина для нецилиндрических областей. Предложены интегральные соотношения для записи аналитических решений краевых задач для уравнений параболического типа через краевые функции в исходной постановке задачи и соответствующих функций Грина. Изучен случай корневой зависимости движущейся границы. Выявлен ряд специфических особенностей модельных представлений нестационарного теплопереноса в областях с движущимися границами.

ВВЕДЕНИЕ

Изучение тепловой реакции областей, границы которых перемещаются во времени, относятся к числу труднейших разделов аналитической теории теплопроводности твердых тел [1]. Для уравнения параболического типа такого рода краевые задачи являются предметом практически необозримого числа исследований. С годами их поток не уменьшается, охватывая все новые содержательные математические объекты и все большее число самых разнообразных приложений. Подобные задачи возникают в проблемах атомной энергетики и безопасности атомных реакторов; при изучении процесса горения в твердотопливных ракетных двигателях; при использовании электрических разрядов, в явлениях электрического взрыва проводников и других процессах, характеризующихся высокой температурой (плавящиеся электрические контакты, воздействие электрической дуги в контактах, эрозия электрических контактов); в ряде проблем экологии и медицины; при лазерном воздействии на твердые тела; при фазовых превращениях (задача Стефана и задача Веригина (в гидромеханике) с более сложными граничными условиями, а также более общая краевая задача для уравнения параболического типа со свободной границей), в том числе при замораживании грунта и твердении бетона, при промерзании растворов и пористых тел; в процессах сублимации при замораживании, плавлении; в кинетической теории роста кристаллов; в ряде проблем термомеханики (при тепловом ударе, термическом разложении, тепловой защите космических аппаратов); в теории оптимизации и вычислительном эксперименте; в плазмодинамике и при плазменном покрытии; в ряде вопросов гидромеханики, фильтрации, абляции, прочности твердых тел, электродинамики, упругости и т.д. (ссылки в [1]).

С точки зрения математической физики краевые задачи для уравнения параболического типа в области с движущейся границей принципиально отличны от классических (для областей цилиндрического вида). Вследствие зависимости границы области от времени к этому классу задач в общем случае неприменимы методы разделения переменных и интегральных преобразований Фурье–Ханкеля–Лапласа [2], поскольку, оставаясь в рамках классических методов математической физики, не удается согласовать решение уравнения теплопроводности с движением границы области теплопереноса. Развитие этой проблемы шло, по-видимому, следующим образом. С одной стороны, точные решения задач подобного типа удалось получить при помощи удачных догадок, искусственных приемов, причем для весьма ограниченного числа случаев движения границы (в начале линейного движения в области $x > l + vt,\,\,t > 0$, затем параболического – $x > \beta \sqrt t ,\,\,t > 0$ [2]) и для частного вида граничных условий: постоянных и первого рода. С другой стороны, на этих задачах при весьма общей их постановке отрабатывались классические методы решения краевых задач для дифференциальных уравнений математической физики: методы тепловых потенциалов; контурного интегрирования; продолжений; функций Грина; вариационные; разложения искомой функции в ряд по обобщенным степеням; обобщения конечных интегральных преобразований на нецилиндрические области; функциональных преобразований Гринбeрга, а также методы, основанные на использовании интегральных, интегродифференциальных или обыкновенных дифференциальных уравнений: разностные, асимптотические и численные. Объясним был и тот факт, что для решения одного и того же класса задач применялись различные подходы. Так, решение одной и той же тепловой задачи можно искать в различных классах функций, определяемых аналитическим подходом при решении задачи. Эти функции должны быть таковыми, чтобы они, во-первых, достаточно легко находились и, во-вторых, обеспечивали сходимость процесса настолько хорошо, чтобы можно было сделать требуемые в задаче заключения о свойствах полученного решения. Представление аналитического решения задачи в эквивалентных функциональных формах (тождественных в смысле числа) имеет большую практическую ценность, так как позволяет варьировать решение в зависимости от постановки задачи: например, решение в форме ряда типа Фурье, удобной для больших времен (находится интегральным преобразованием Фурье), или в виде формулы суммирования Пуассона, более подходящей для малых времен (находится операционным методом). Для областей с движущимися границами это обстоятельство имеет особенно важное значение с учетом широкого применения задач такого класса, отмеченного выше. В то же время следует подчеркнуть, что, несмотря на хорошо развитую аналитическую теорию нестационарного тепломассопереноса и близких направлений (ссылки в [1]), достигнутые за последние два десятилетия успехи в нахождении точных аналитических решений задач для различных законов движения границы весьма незначительны. По-видимому, одной из причин такого положения являются технические трудности вычислительного характера при нахождении точного аналитического решения задачи и ослабленное внимание к этой области аналитической теории переноса. В известном обзоре [3] академик Лыков А.В. коснулся проблемы распространения классических методов математической физики на области с границами, движущимися во времени, в частности, на применение наиболее употребительных методов функций Грина и тепловых потенциалов в нецилиндрических областях. В [3] отмечалась “сложность и громоздкость этих методов, хотя для областей с подвижными границами они, возможно, незаменимы”. Излагаемая ниже модифицированная теория тепловых потенциалов не связана с необходимостью решения интегральных уравнений в рамках общепринятого классического подхода при применении тепловых потенциалов обобщенного типа простого и двойного слоя в нецилиндрических областях [4]. При использовании развитой теории для нахождения соответствующих функций Грина получаются функциональные конструкции нового вида, весьма удобные для проведения числовых экспериментов.

ПОСТАНОВКА КРАЕВЫХ ЗАДАЧ

Пусть ${{\Omega }_{t}} - $ нецилиндрическая область в фазовом пространстве $(n + 1)$ измерений, сечение которой плоскостью-характеристикой $t = {\text{const}} \geqslant {{t}_{0}} > 0$ есть выпуклая область ${{D}_{t}}({{D}_{t}} \in {{R}^{n}})$ изменения $M\left( {{{x}_{1}},{{x}_{2}},.....{{x}_{n}}} \right);$ $~{{S}_{t}} - $ кусочно-гладкая поверхность, зависящая от времени ($t \geqslant 0$) и ограничивающая область ${{D}_{t}}$; n – внешняя нормаль к ${{S}_{t}}$, вектор, непрерывный в точках ${{S}_{t}}$, так что ${{\Omega }_{t}} = \left\{ {M \in \overline {{{D}_{t}}} = {{D}_{t}} + {{S}_{t}},\,\,t \geqslant 0} \right\}$. Пусть $T(M,t) - $ температурная функция, удовлетворяющая условиям задачи

(1)
$\frac{{\partial T}}{{\partial t}} = a\Delta T\left( {M,t} \right) + f\left( {M,t} \right),\,\,\,\,M \in {{D}_{t}},\,\,\,\,t > 0;$
(2)
${{\left. {T\left( {M,t} \right)} \right|}_{{t = 0}}} = {{\Phi }_{0}}\left( M \right),\,\,\,\,M \in {{\overline D }_{{t = 0}}};$
(3)
$\begin{gathered} {{\beta }_{1}}\frac{{\partial T\left( {M,t} \right)}}{{\partial n}} + {{\beta }_{2}}T\left( {M,t} \right) = \varphi \left( {M,t} \right), \\ M \in {{S}_{t}},\,\,\,\,t \geqslant 0. \\ \end{gathered} $

Краевые функции в (1)–(3) принадлежат классу решений

$\begin{gathered} f\left( {M,t} \right) \in {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right);\,\,\,\,{{{\text{Ф}}}_{0}}\left( M \right) \in {{C}^{1}}\left( {{{{\overline \Omega }}_{t}}} \right); \\ \varphi \left( {M,t} \right) \in {{C}^{0}}\left( {{{S}_{t}}t \geqslant 0} \right);\,\,\,\,\beta _{1}^{2} + \beta _{2}^{2} > 0. \\ \end{gathered} $

Искомое решение:

$\begin{gathered} T\left( {M,t} \right) \in {{C}^{2}}\left( {{{\Omega }_{t}}} \right) \cap {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right), \\ gra{{d}_{M}}T\left( {M,t} \right) \in {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right). \\ \end{gathered} $

В областях с движущимися границами, как и в случае цилиндрических областей, также можно говорить о первой (${{\beta }_{1}} = 0$), второй (${{\beta }_{2}} = 0$) или третьей (${{\beta }_{i}} > 0,\,\,i = 1,2$) краевых задачах. Однако указанная эквивалентность в записи граничных условий сохраняется не всегда. В частности, условие теплоизоляции движущейся границы $y(t)$ при t > 0, где $y(t)$ – непрерывно дифференцируемая функция с конечными производными любого порядка, имеет вид [2]

(4)
${{\left[ {\frac{{\partial T\left( {x,t} \right)}}{{\partial x}} + \frac{{v\left( t \right)}}{a}T\left( {x,t} \right)} \right]}_{{x = y\left( t \right)}}} = 0,\,\,\,\,t > 0,$
и для скорости движения $v\left( t \right) = \frac{{dy\left( t \right)}}{{dt}} = 0(y(t) = $ $~ = {\text{const}})$ выражение (4) совпадает с классической записью тепловой изоляции неподвижной границы, вытекающей из закона Фурье в скалярной форме [2]. Специфические особенности области с движущейся границей проявляются и в постановке краевых задач для соответствующих функций Грина. Здесь следует проявить особое внимание при нахождении функций Грина для второй и третьей краевых задач (см. ниже).

В отношении каждой из краевых функций (1)–(3) возникают вопросы корректности их постановки: существование решения, единственность решения, устойчивость решения. Эти вопросы рассматриваются в качественной теории уравнений параболического типа в областях с криволинейными границами [5]. Задачи, не удовлетворяющие перечисленным требованиям, называются некорректно поставленными. В 1962 г. А.Н. Тихонов разработал новые подходы к решению некорректно поставленных задач, в основе которых лежало фундаментальное понятие регуляризирующего оператора (ссылки в [1]). Изучаемые ниже математические модели корректны по постановке. При этом предполагается, что краевые функции в (1)–(3) и законы перемещения границы – гладкие функции, для которых существуют все преобразования, вытекающие по ходу действия. Эти функции задаются практикой многочисленных приложений математических моделей (1)–(3). В 1930-х гг. С.Л. Соболев разработал теорию обобщенных решений для уравнений в частных производных. В дальнейшем получили развитие качественная теория краевых задач для параболических уравнений в обобщенной постановке в пространствах Соболева и других функциональных пространствах и теория этих пространств для решения задач (теоремы вложения; теоремы о следах; компактность вложения и теория усреднения и т.д.) и др. (ссылки в [1]). Эти вопросы детально рассмотрены в недавно вышедшей книге [6].

МЕТОД ФУНКЦИЙ ГРИНА ДЛЯ УРАВНЕНИЙ ПАРАБОЛИЧЕСКОГО ТИПА В НЕЦИЛИНДРИЧЕСКИХ ОБЛАСТЯХ

Для областей с движущимися границами (нецилиндрические области) метод функций Грина является одним из наиболее эффективных. Метод предполагает предварительное рассмотрение более простой модели при нахождении соответствующей функции влияния (функции Грина) и позволяет получить интегральное представление аналитических решений обширного класса задач нестационарного переноса в зависимости от неоднородностей в исходной постановке задачи. Однако для нецилиндрических областей появляются особенности, свойственные при наличии движущихся границ. Следует кратко остановиться на указанном методе для цилиндрических (классических) областей.

Пусть D – конечная или частично ограниченная выпуклая область изменения М(х, у, z); S – кусочно-гладкая поверхность, ограничивающая область D; n – внешняя нормаль к S; $\Omega = \left( {M \in D,\,\,t > 0} \right)$ – цилиндрическая область в фазовом пространстве (х, у, z, t) с основанием D при t = 0; Т(М, t) температурная функция, удовлетворяющая условиям задачи:

(5)
$\frac{{\partial T}}{{\partial t}} = a\Delta T\left( {M,t} \right) + f\left( {M,t} \right),\,\,\,\,M \in D,\,\,\,\,t > {\text{0}};$
(6)
$T\left( {M,t} \right)\left| {_{{t = 0}}} \right. = {{\Phi }_{0}}\left( M \right),\,\,\,\,M \in \overline D ;$
(7)
$\begin{gathered} {{\beta }_{1}}\frac{{\partial T\left( {M,t} \right)}}{{\partial n}} + {{\beta }_{2}}T\left( {M,t} \right) = \varphi \left( {M,t} \right), \\ M \in S,\,\,\,\,t \geqslant {\text{0}}{\text{.}} \\ \end{gathered} $
Здесь

$\begin{gathered} f\left( {M,t} \right) \in {{C}^{0}}\left( {\overline \Omega } \right);\,\,\,\,{{\Phi }_{0}}\left( M \right) \in {{C}^{1}}\left( {\overline \Omega } \right); \\ \varphi \left( {M,t} \right) \in {{C}^{0}};\,\,\,\,\left( {St \geqslant 0} \right); \\ \overline D = D + S;\,\,\,\,\overline \Omega = \left( {M \in \overline D ,t \geqslant 0} \right). \\ \end{gathered} $

Искомое решение:

$\begin{gathered} T\left( {M,t} \right) \in {{C}^{2}}\left( \Omega \right) \cap {{C}^{0}}\left( {\overline \Omega } \right), \\ gra{{d}_{M}}T\left( {M,t} \right) \in {{C}^{0}}\left( {\overline \Omega } \right),\,\,\,\,\beta _{1}^{2} + \beta _{2}^{2} > {\text{0}}{\text{.}} \\ \end{gathered} $

В силу принципа суперпозиции, справедливого для линейных задач переноса, можно записать интегральное представление для Т(М, t) в виде [2]

(8)
$\begin{gathered} T\left( {M,t} \right) = \iiint_D {{{\Phi }_{0}}\left( P \right){{{\left. {G\left( {M,P,t,\tau } \right)} \right|}}_{{\tau = 0}}}d{{V}_{p}}} + \\ + \,\,a\mathop \smallint \limits_0^t {{\iint\limits_S {\left. {\left( {G\frac{{\partial T}}{{\partial {{n}_{p}}}} - T\frac{{\partial G}}{{\partial {{n}_{p}}}}} \right)} \right|}}_{{P \in S}}}d\tau d{{\sigma }_{p}} + \\ + \,\,\int_0^t {\iiint_D {f\left( {P,\tau } \right)G\left( {M,t,P,\tau } \right)d\tau d{{V}_{p}}}} , \\ \end{gathered} $
если известна соответствующая функция Грина $G\left( {M,t,P,\tau } \right)$ для данной области как решение бо-лее простой задачи для однородного уравнения (5) с однородными граничными условиями того же вида, что и (7):
(9)
$\frac{{\partial G}}{{\partial t}} = a{{\Delta }_{M}}G\left( {M,t,P,\tau } \right),\,\,\,\,M \in D,\,\,\,\,t > \tau ;$
(10)
$\begin{gathered} G\left( {M,t,P,\tau } \right)\left| {_{{t = \tau }}} \right. = \delta \left( {M,P} \right),\,\,\,\,M \in D,\,\,\,\,P \in D; \\ {{\beta }_{1}}\frac{{\partial G\left( {M,t,P,\tau } \right)}}{{\partial {{n}_{M}}}} + {{\beta }_{2}}G\left( {M,t,P,\tau } \right) = 0{\text{,}} \\ M \in S,\,\,\,\,t > \tau . \\ \end{gathered} $
Здесь $\delta \left( {M,P} \right)$ – дельта-функция Дирака. Если рассматривать $G\left( {M,t,P,\tau } \right)$ как функцию точки P и времени $\tau $, то для нахождения G следует решать эквивалентную задачу для сопряженного с (9) уравнения

(11)
$\frac{{\partial G}}{{\partial \tau }} + a{{\Delta }_{p}}G\left( {M,t,P,\tau } \right) = 0,\,\,\,\,P \in D,\,\,\,\,\tau < t;$
(12)
$G\left( {M,t,P,\tau } \right)\left| {_{{t = \tau }}} \right. = \delta \left( {P,M} \right),\,\,\,\,P \in D,\,\,\,\,M \in D;$
(13)
$\begin{gathered} {{\beta }_{1}}\frac{{\partial G\left( {M,t,P,\tau } \right)}}{{\partial {{n}_{P}}}} + {{\beta }_{2}}G\left( {M,t,P,\tau } \right) = 0, \\ P \in S,\,\,\,\,\tau < t. \\ \end{gathered} $

Если область D ограничена, то функция Грина G имеет вид [2]

$\begin{gathered} G\left( {M,t,P,\tau } \right) = G\left( {M,t - \tau ,P} \right) = \\ = \,\,\sum\limits_{n = 1}^\infty {\frac{{{{\Psi }_{n}}\left( M \right){{\Psi }_{n}}\left( P \right)}}{{{{{\left\| {{{\Psi }_{n}}} \right\|}}^{2}}}}} \exp \left[ { - {{{\left( {\sqrt a {{\gamma }_{n}}} \right)}}^{2}}\left( {t - \tau } \right)} \right], \\ \end{gathered} $
где ${{\Psi }_{n}}\left( M \right)$ и $\gamma _{n}^{2}$ – собственные функции и собственные значения соответствующей (5)–(8) однородной задачи
$\begin{gathered} \Delta \Psi \left( M \right) + {{\gamma }^{2}}\Psi \left( M \right) = 0,\,\,\,\,M \in D; \\ {{\beta }_{1}}\frac{{\partial \Psi \left( M \right)}}{{\partial n}} + {{\beta }_{2}}\Psi \left( M \right) = 0,\,\,\,\,M \in S. \\ \end{gathered} $
Здесь ${{\left\| {{{\Psi }_{n}}} \right\|}^{2}}$ – квадрат нормы собственных функций

${{\left\| {{{\Psi }_{n}}} \right\|}^{2}} = \iiint\limits_D {\Psi _{n}^{2}\left( M \right)}\,d{{V}_{M}}.$

Пусть теперь ${{\Omega }_{t}}$ – нецилиндрическая область, т.е. сечение ${{\Omega }_{t}}$ плоскостью-характеристикой $t = {\text{const}} \geqslant {{t}_{0}} \geqslant 0$ есть область ${{D}_{t}}$ с границей ${{S}_{t}}$, зависящей от времени t. Следует выяснить, что меняется в постановках краевых задач (9), (10) и (11)–(13) относительно функции Грина $G\left( {M,t,P,\tau } \right)$ по переменным $\left( {M,t} \right)$ и $\left( {P,\tau } \right)$ (для цилиндрических областей формулировка граничных условий остается неизменной, уравнение (9) заменяется на сопряженное (11)).

Рассмотрим область ${{\Omega }_{t}} = \left\{ {{{y}_{1}}\left( t \right) < x < {{y}_{2}}\left( t \right),} \right.$ $\left. {t > {\text{0}}} \right\}$, где ${{y}_{i}}\left( t \right)$ – непрерывно дифференцируемые функции, в которой $T\left( {x,t} \right)$ удовлетворяет условиям

(14)
$\frac{{\partial T}}{{\partial t}} = a\frac{{{{\partial }^{2}}T}}{{\partial {{x}^{2}}}} + f\left( {x,t} \right),\,\,\,\,{{y}_{1}}\left( t \right) < x < {{y}_{2}}\left( t \right),\,\,\,\,t > {\text{0}};$
(15)
$\begin{gathered} T\left( {x,0} \right) = {{\Phi }_{0}}\left( x \right),\,\,\,\,{{y}_{1}}\left( 0 \right) \leqslant x \leqslant {{y}_{2}}\left( 0 \right), \\ {{y}_{i}}\left( 0 \right) \geqslant 0,\,\,\,\,i = {\text{1,2;}} \\ \end{gathered} $
(16)
$\begin{gathered} {{\left[ {{{\beta }_{{i1}}}\frac{{\partial T(x,t)}}{{\partial x}} + {{\beta }_{{i2}}}T(x,t)} \right]}_{{x = {{y}_{i}}(t)}}} = {{\beta }_{{i3}}}{{\varphi }_{i}}(t), \\ t \geqslant 0,\,\,\,\,i = {\text{1,2}}{\text{.}} \\ \end{gathered} $

Характерным для данной задачи является наличие движущихся во времени границ и, следовательно, то обстоятельство, что функция Грина $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ в силу ее физического смысла (тепловой импульс мощностью $Q = c\rho $ [4]) зависит не от разности $\left( {t - \tau } \right)$, а от $t$ и $\tau $, так как определяющим будет не только время действия $\left( {t - \tau } \right)$, но и момент $\tau $ возникновения импульса. Представим $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ в виде [7]

(17)
$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }}\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] + \\ + \,\,q\left( {x,t,x{\kern 1pt} ',\tau } \right) = {{G}_{0}} + q,\,\,\,\,\tau < t, \\ \end{gathered} $
где ${{G}_{0}}$ – фундаментальное решение уравнения (14) (при f = 0). Функция ${{G}_{0}}$ удовлетворяет однородному уравнению (14) по переменным $\left( {x,t} \right)$ и сопряженному с (14) (при f = 0) по переменным $\left( {x{\kern 1pt} ',\tau } \right)$. Функция q – регулярная составляющая функции Грина (17), выбирается так, чтобы удовлетворялись уравнение
$\frac{{\partial q}}{{\partial \tau }} = - a\frac{{{{\partial }^{2}}q}}{{\partial x{\kern 1pt} {{'}^{2}}}}$
и начальное условие $q\left( {x,t,x{\kern 1pt} ',\tau = t} \right) = 0$. Отсюда имеем для функции $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ в соответствии с (11), (12)

(18)
$\frac{{\partial G}}{{\partial \tau }} = - a\frac{{{{\partial }^{2}}G}}{{\partial x{\kern 1pt} {{'}^{2}}}},\,\,\,\,{{y}_{1}}\left( \tau \right) < x{\kern 1pt} ' < {{y}_{2}}\left( \tau \right),\,\,\,\,\tau < t;$
(19)
$G\left( {x,t,x{\kern 1pt} ',\tau } \right)\left| {_{{\tau = t}}} \right. = \delta \left( {x{\kern 1pt} ' - x} \right),\,\,\,\,{{y}_{1}}\left( t \right) < x{\kern 1pt} ' < {{y}_{2}}\left( t \right).$

Рассмотрим равенство

$\begin{gathered} \frac{\partial }{{\partial \tau }}\left[ {T\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right] = G\frac{{\partial T}}{{\partial \tau }} + T\frac{{\partial G}}{{\partial \tau }} = \\ = \,\,a\left( {G\frac{{{{\partial }^{2}}T}}{{\partial x{\kern 1pt} {{'}^{2}}}} - T\frac{{{{\partial }^{2}}G}}{{\partial x{\kern 1pt} {{'}^{2}}}}} \right) + Gf\left( {x{\kern 1pt} ',\tau } \right). \\ \end{gathered} $

Проинтегрируем данное равенство по $x{\kern 1pt} ' \in \left[ {{{y}_{1}}\left( \tau \right),\,\,{{y}_{2}}\left( \tau \right)} \right]$:

(20)
$\begin{gathered} \int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {\frac{\partial }{{\partial \tau }}\left[ {TG} \right]} dx{\kern 1pt} ' = a\left( {G\frac{{\partial T}}{{\partial x{\kern 1pt} '}} - T\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right)_{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}^{{x{\kern 1pt} ' = {{y}_{2}}\left( \tau \right)}} + \\ + \,\,\int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {G\left( {x,t,x{\kern 1pt} ',\tau } \right)f\left( {x{\kern 1pt} ',\tau } \right)} \,dx{\kern 1pt} '. \\ \end{gathered} $

Соотношение (20) справедливо при всех $\tau < t$ и, следовательно, его можно проинтегрировать по $\tau $ для $0 < \tau < t - \varepsilon $, где $\varepsilon > 0$ – сколь угодно малое число (при $0 < \tau < t - \varepsilon $ подынтегральные функции в (20) достаточно регулярны, так как исключена особенность у функции G в точке $x = x{\kern 1pt} '$ при $\tau = t$). Получаем

$\begin{gathered} \int\limits_0^{t - \varepsilon } {d\tau } \int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {\frac{\partial }{{\partial \tau }}\left( {TG} \right)} dx{\kern 1pt} ' = a{{\int\limits_0^{t - \varepsilon } {\left( {G\frac{{\partial T}}{{\partial x{\kern 1pt} '}} - T\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right)} }_{{x{\kern 1pt} ' = {{y}_{2}}\left( \tau \right)}}}d\tau - \\ - \,\,a{{\int\limits_0^{t - \varepsilon } {\left( {G\frac{{\partial T}}{{\partial x{\kern 1pt} '}} - T\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right)} }_{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}}_{{}}^{{}}d\tau + \\ + \,\,\int\limits_0^t {d\tau } \int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {G\left( {x,t,x{\kern 1pt} ',\tau } \right)f\left( {x{\kern 1pt} ',\tau } \right)} dx{\kern 1pt} '. \\ \end{gathered} $

Вынося слева оператор ${\partial \mathord{\left/ {\vphantom {\partial {\partial \tau }}} \right. \kern-0em} {\partial \tau }}$ за знак определенного интеграла и переходя к пределу при $\varepsilon \to 0$, учитывая (19) и равенство

$\begin{gathered} \mathop {\lim }\limits_{x \to \infty } {{\left. {\int\limits_{{{y}_{1}}\left( {t - \varepsilon } \right)}^{{{y}_{2}}\left( {t - \varepsilon } \right)} {T\left( {x{\kern 1pt} ',t - \varepsilon } \right)G} \left( {x,t,x{\kern 1pt} ',\tau } \right)} \right|}_{{\tau = t - \varepsilon }}}dx{\kern 1pt} ' = \\ = \,\,\int\limits_{{{y}_{1}}\left( t \right)}^{{{y}_{2}}\left( t \right)} {T\left( {x{\kern 1pt} ',t} \right)\delta } \left( {x - x{\kern 1pt} '} \right)dx{\kern 1pt} ' = T\left( {x,t} \right), \\ \\ \end{gathered} $
получаем основную интегральную формулу, дающую представление произвольных решений уравнения (14) в области с движущимися границами:

(21)
$\begin{gathered} T\left( {x,t} \right) = \int\limits_{{{y}_{1}}\left( 0 \right)}^{{{y}_{2}}\left( 0 \right)} {T\left( {x{\kern 1pt} ',0} \right)G\left( {x,t,x{\kern 1pt} ',0} \right)} dx{\kern 1pt} ' + \\ + \,\,a\int\limits_0^t {\left[ {G\frac{{\partial T}}{{\partial x{\kern 1pt} '}} - T\left( {\frac{{\partial G}}{{\partial x{\kern 1pt} '}} - \frac{1}{a}\frac{{d{{y}_{2}}}}{{d\tau }}G} \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{2}}\left( \tau \right)}}^{{}}d\tau - \\ - a\int\limits_0^t {\left[ {G\frac{{\partial T}}{{\partial x{\kern 1pt} '}} - T\left( {\frac{{\partial G}}{{\partial x{\kern 1pt} '}} - \frac{1}{a}\frac{{d{{y}_{1}}}}{{d\tau }}G} \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,\int\limits_0^t {\int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {G\left( {x,t,x{\kern 1pt} ',\tau } \right)f\left( {x{\kern 1pt} ',\tau } \right)} dx{\kern 1pt} 'd\tau } . \\ \end{gathered} $

Предполагается, что в (16) заданы граничные условия: а) либо первого рода $\left( {{{\beta }_{{i1}}} = 0,\,\,{{\beta }_{{i2}}} = {{\beta }_{{i3}}} = 1} \right)$; б) либо второго рода $\left( {{{\beta }_{{i2}}} = 0,\,\,{{\beta }_{{i1}}} = {{\beta }_{{i3}}} = 1} \right)$; в) либо третьего рода (${{\beta }_{{i1}}} = 1,\,\,{{\beta }_{{i2}}} = {{\beta }_{{i3}}} = {{\left( { - 1} \right)}^{i}}{{h}_{i}}$, где ${{h}_{i}}$ – относительный коэффициент теплообмена). Если функцию $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ выбрать так, чтобы удовлетворялись граничные условия в случаях

а) первой краевой задачи

(22)
${{\left. {G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right|}_{{x{\kern 1pt} ' = {{y}_{i}}\left( \tau \right)}}} = 0,\,\,\,\,\tau < t,\,\,\,\,i = {\text{1,2}};$

б) второй краевой задачи

(23)
${{\left. {\left( {\frac{{\partial G}}{{\partial x{\kern 1pt} '}} - \frac{1}{a}\frac{{\partial {{y}_{i}}}}{{\partial \tau }}G} \right)} \right|}_{{x{\kern 1pt} ' = {{y}_{i}}\left( \tau \right)}}} = 0,\,\,\,\,\tau < t,\,\,\,\,i = {\text{1,2;}}$

в) третьей краевой задачи

(24)
$\begin{gathered} {{\left. {\left( {\frac{{\partial G}}{{\partial x{\kern 1pt} '}} + {{{\left( { - 1} \right)}}^{i}}\left[ {{{h}_{i}} + {{{\left( { - 1} \right)}}^{{i - 1}}}\frac{1}{a}\frac{{\partial {{y}_{i}}}}{{\partial \tau }}} \right]G} \right)} \right|}_{{x{\kern 1pt} ' = {{y}_{i}}\left( \tau \right)}}} = 0, \\ \tau < t,\,\,\,\,i = {\text{1,2;}} \\ \end{gathered} $

то из (20) получаем искомые интегральные представления для Т(х, t) в виде:

а) первая краевая задача

$\begin{gathered} T\left( {x,t} \right) = \int\limits_{{{y}_{1}}\left( 0 \right)}^{{{y}_{2}}\left( 0 \right)} {{{{\left[ {T\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]}}_{{\tau = 0}}}} dx{\kern 1pt} '\,\, + \\ + \,\,a\int\limits_0^t {\left[ {T\left( {x{\kern 1pt} ',\tau } \right)\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right]} _{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}^{{}}d\tau - \\ - \,\,a\int\limits_0^t {\left[ {T\left( {x{\kern 1pt} ',\tau } \right)\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right]} _{{x' = {{y}_{2}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,\int\limits_0^t {\int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {f\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} d\tau } dx{\kern 1pt} '; \\ \end{gathered} $

б) вторая краевая задача

$\begin{gathered} T\left( {x,t} \right) = \int\limits_{{{y}_{1}}\left( 0 \right)}^{{{y}_{2}}\left( 0 \right)} {{{{\left[ {T\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]}}_{{\tau = 0}}}} dx{\kern 1pt} '\,\, - \\ - \,\,a\int\limits_0^t {\left[ {\frac{{\partial T\left( {x{\kern 1pt} ',\tau } \right)}}{{\partial x{\kern 1pt} '}}G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,a\int\limits_0^t {\left[ {\frac{{\partial T\left( {x{\kern 1pt} ',\tau } \right)}}{{\partial x{\kern 1pt} '}}G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{2}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,\int\limits_0^t {\int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {f\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} d\tau } dx{\kern 1pt} '; \\ \end{gathered} $

в) третья краевая задача

$\begin{gathered} T\left( {x,t} \right) = \int\limits_{{{y}_{1}}\left( 0 \right)}^{{{y}_{2}}\left( 0 \right)} {{{{\left[ {T\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]}}_{{\tau = 0}}}} dx{\kern 1pt} '\,\, - \\ - \,\,a\int\limits_0^t {\left[ {\left( {\frac{{\partial T\left( {x{\kern 1pt} ',\tau } \right)}}{{\partial x{\kern 1pt} '}} - {{h}_{1}}T\left( {x{\kern 1pt} ',\tau } \right)} \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{1}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,a\int\limits_0^t {\left[ {\left( {\frac{{\partial T\left( {x{\kern 1pt} ',\tau } \right)}}{{\partial x{\kern 1pt} '}} + {{h}_{2}}T\left( {x{\kern 1pt} ',\tau } \right)} \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right]} _{{x{\kern 1pt} ' = {{y}_{2}}\left( \tau \right)}}^{{}}d\tau + \\ + \,\,\int\limits_0^t {\int\limits_{{{y}_{1}}\left( \tau \right)}^{{{y}_{2}}\left( \tau \right)} {f\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} d\tau } dx{\kern 1pt} '. \\ \end{gathered} $

Остановимся подробнее на рассмотрении функции $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ в виде (17), которая удовлетворяет (18), (19) и одному из граничных условий (22)–(24) в зависимости от типа краевой задачи (14)–(16).

Рассмотрим функцию $\bar {G}\left( {x,t,x{\kern 1pt} ',\tau } \right)$, определяемую условиями

(25)
$\frac{{\partial{ \bar {G}}}}{{\partial t}} = a\frac{{{{\partial }^{2}}\bar {G}}}{{\partial {{x}^{2}}}},\,\,\,\,{{y}_{1}}\left( t \right) < x < {{y}_{2}}\left( t \right),\,\,\,\,t > \tau ;$
(26)
$\bar {G}\left( {x,t,x{\kern 1pt} ',\tau } \right)\left| {_{{t = \tau }}} \right. = \delta \left( {x - x{\kern 1pt} '} \right),\,\,\,\,{{y}_{1}}\left( \tau \right) < x{\kern 1pt} ' < {{y}_{2}}\left( \tau \right);$
(27)
${{\left[ {{{\beta }_{{i1}}}\frac{{\partial{ \bar {G}}}}{{\partial x}} + {{\beta }_{{i2}}}\bar {G}} \right]}_{{x = {{y}_{i}}\left( t \right)}}} = 0{\text{,}}\,\,\,\,t > \tau ,\,\,\,\,i = {\text{1,2,}}$
где (как и в (16)) ${{\beta }_{{i1}}} = 0$ в случае первой краевой задачи, ${{\beta }_{{i2}}} = 0$ – второй и ${{\beta }_{{i1}}} = 1,\,\,{{\beta }_{{i2}}} = {{\beta }_{{i3}}} = {{\left( { - 1} \right)}^{i}}{{h}_{i}}$ для третьей краевой задачи. Покажем, что $G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \overline G \left( {x,t,x{\kern 1pt} ',\tau } \right)$. Доказательство проводится для второй краевой задачи, остальные случаи могут быть рассмотрены аналогично.

Проинтегрируем выражение

по х" в интервале от ${{y}_{1}}\left( \theta \right)$ до ${{y}_{2}}\left( \theta \right)$, где $t > \theta > \tau $. Получаем, учитывая граничные условия, для $\overline G $ и G

(28)

Проинтегрируем далее (28) в промежутке $\left[ {\theta ,t - \varepsilon } \right]$, где $\varepsilon > 0$ сколь угодно малое число. Повторяя предыдущие рассуждения (как и при выводе соотношения (21)), находим

Переходя к пределу при $\varepsilon \to 0$, получаем

(29)

С другой стороны, интегрируя (28) в промежутке $\left[ {t + \varepsilon ,\theta } \right]$, что дает

и устремляя $\varepsilon \to 0$, приходим к выражению

(30)

Сравнение (29) и (30) показывает, что $G\left( {x,t,x{\kern 1pt} ',\tau } \right) \equiv $ $ \equiv \bar {G}\left( {x,t,x{\kern 1pt} ',\tau } \right)$. Используя подходы [5, 6], можно доказать существование и единственность решения задачи (25)–(27), если каждая кривая $y{}_{i}\left( t \right),\,\,i = {\text{1,2}}$, дифференцируема и производные $\frac{{\partial y{}_{i}}}{{\partial t}}$ удовлетворяют условию Гельдера порядка $\gamma > {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}$.

Таким образом, функция $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ может быть найдена как решение эквивалентных задач (18), (19), (22)–(23) и (25)–(27), и в областях с движущимися границами не сохраняется эквивалентность в записи граничных условий в постановках задач по (х, t) и ($x{\kern 1pt} ',\tau $) в отличие от цилиндрических областей (см. (10) и (13)). В этих случаях следует проявлять особое внимание при нахождении функций Грина для второй и третьей краевых задач, а также и при наличии смешанных граничных условий на движущихся границах. Всякий случай нахождения функции Грина соответствующей краевой задачи для той или иной области весьма важен, так как содержит в себе обширную информацию, позволяя выписать большое число аналитических решений в зависимости от неоднородностей в (14)–(16). Здесь, как и в случае цилиндрических областей, также можно говорить о первой, второй или третьей краевых задачах при соответствующих значениях коэффициентов ${{{{\beta }}}_{{ij}}} = {\text{const}}$ в (16). Однако указанная эквивалентность в записи граничных условий сохраняется не всегда. В частности, как показано выше в (4) , условие теплоизоляции движущейся границы области $x \in \left[ {0,y\left( t \right)} \right],{\text{ }}t \geqslant 0$, где $y\left( t \right)$ при $t > 0$ непрерывно дифференцируемая функция с конечными производными любого порядка, имеет вид [2]

(31)
${{\left[ {\frac{{\partial T\left( {x,t} \right)}}{{\partial x}} + \frac{{v\left( t \right)}}{a}{\text{ }}T\left( {x,t} \right)} \right]}_{{x = y\left( t \right)}}} = 0,\,\,\,\,t > {\text{0,}}$
и для скорости движения $v\left( t \right) = {{dy\left( t \right)} \mathord{\left/ {\vphantom {{dy\left( t \right)} {dt = 0}}} \right. \kern-0em} {dt = 0}}$ ($y\left( t \right) = {\text{const}}$) выражение (31) совпадает с классической записью тепловой изоляции неподвижной границы

${{\left. {\frac{{\partial T\left( {x,t} \right)}}{{\partial x}}} \right|}_{{y = {\text{const}}}}} = 0.$

МОДИФИКАЦИЯ МЕТОДА ТЕПЛОВЫХ ПОТЕНЦИАЛОВ ДЛЯ ОБЛАСТЕЙ С РАВНОМЕРНО ДВИЖУЩЕЙСЯ ГРАНИЦЕЙ $\left[ {0,l + vt} \right],\,\,~\left[ {l + vt,\infty } \right)$, $t \geqslant 0$

В обзоре [3] и книгах [4, 7] описаны обобщенные тепловые потенциалы простого и двойного слоя как один из возможных аналитических методов решения краевых задач (5)–(7).

Модифицированный метод оказался особенно эффективным для областей с равномерно движущейся границей, имеющей многочисленные практические приложения, причем как при решении задач в исходной постановке (14)–(16) (при $f = 0$ или $f = f\left( t \right)$), так и при построении соответствующей функции Грина. Получаемые при этом аналитические решения задачи имеют новую (простейшую) интегральную форму, отличную от известных ранее.

Для сокращения выкладок рассмотрим в (14)–(16) область: $x \in \left[ {0,l + vt} \right],$ $t \geqslant 0$, т.е. случай ${{y}_{1}}\left( t \right) = 0$, ${{y}_{2}}\left( t \right) = l + vt$ $\left( {l,v = {\text{const}}} \right)$; пусть также ${{\beta }_{{i1}}} = 0,\,\,{{\beta }_{{i2}}} = {{\beta }_{{i3}}} = 1$; $f\left( {x,t} \right) = 0$, ${{\Phi }_{0}}\left( x \right) = 0$. Наличие неоднородностей в (14), (15) рассмотрено ниже. Следует заметить, что область $x \in \left[ {{{l}_{1}} + {{v}_{1}}t,\,\,{{l}_{2}} + {{v}_{2}}t} \right],$ $t \geqslant 0$ для $T\left( {x,t} \right)$ (14)–(16) легко сводится к рассматриваемому случаю, т.е. к области $x \in \left[ {0,l + vt} \right],$ $t \geqslant 0$ с помощью преобразований

$\begin{gathered} z = x - \left( {{{l}_{1}} + {{v}_{1}}t} \right),\,\,\,\,T\left( {x,t} \right) \equiv W\left( {z,t} \right), \\ W\left( {z,t} \right) = \Theta \left( {z,t} \right)\exp \left( { - {{{{v}_{1}}z} \mathord{\left/ {\vphantom {{{{v}_{1}}z} {2a - {{v_{1}^{2}t} \mathord{\left/ {\vphantom {{v_{1}^{2}t} {4a}}} \right. \kern-0em} {4a}}}}} \right. \kern-0em} {2a - {{v_{1}^{2}t} \mathord{\left/ {\vphantom {{v_{1}^{2}t} {4a}}} \right. \kern-0em} {4a}}}}} \right). \\ \end{gathered} $

Решение $T\left( {x,t} \right)$ ищем в виде суммы тепловых потенциалов [1]:

(32)
$\begin{gathered} T\left( {x,t} \right) = \frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{{{\Psi }_{1}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} \exp \left[ { - \frac{{{{x}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]d\tau + \\ + \,\,\frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{{{\Psi }_{2}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} \exp \left[ { - \frac{{{{{\left( {x - l - v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]d\tau , \\ \end{gathered} $
где ${{\Psi }_{1}}\left( t \right)$ и ${{\Psi }_{2}}\left( t \right)$ – искомые неизвестные плотности потенциалов. Выражение (32) запишем в пространстве изображений по Лапласу:
(33)
$\begin{gathered} \bar {T}\left( {x,p} \right) = \int\limits_0^\infty {\exp \left( { - pt} \right)} T\left( {x,t} \right)dt, \\ \operatorname{Re} p \geqslant \beta > 0,\,\,\,\,\left| {\arg p} \right| < \frac{\pi }{2}{\kern 1pt} ; \\ \bar {T}\left( {x,p} \right) = \frac{{\sqrt a }}{{2\sqrt p }}{\kern 1pt} \exp \left[ { - \frac{x}{{\sqrt a }}\sqrt p } \right]{{{\bar {\Psi }}}_{1}}\left( p \right) + \\ + \,\,\frac{{\sqrt a }}{{2\sqrt p }}{\kern 1pt} \exp \left[ { - \frac{{\left( {l - x} \right)}}{{\sqrt a }}\sqrt p } \right]{{{\bar {\Psi }}}_{3}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right], \\ \end{gathered} $
где ${{\Psi }_{3}}\left( t \right) = {{\Psi }_{2}}\left( t \right)\exp \left( {{{\gamma }^{2}}t} \right)$, ${{\gamma }^{2}} = \frac{{{{v}^{2}}}}{{4a}}$.

Таким образом, для нахождения оригинала $T\left( {x,t} \right)$ из (33) необходимо искать изображения плотностей относительно ${{\bar {\Psi }}_{1}}\left( p \right)$ и ${{\bar {\Psi }}_{3}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right]$. Удовлетворяя в (32) граничным условиям (16) (при ${{\beta }_{{i1}}} = 0,{\text{ }}{{\beta }_{{i2}}} = {{\beta }_{{i3}}} = 1$), находим

(34)
$\left. \begin{gathered} \frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{{{\Psi }_{1}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} d\tau + \frac{{\sqrt a }}{{2\sqrt \pi }} \times \\ \times \,\,\int\limits_0^t {\frac{{{{\Psi }_{2}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} \exp \left[ { - \frac{{{{{\left( {l + v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]d\tau = {{\varphi }_{1}}\left( t \right), \\ \frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{{{\Psi }_{1}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} \exp \left[ { - \frac{{{{{\left( {l + vt} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]d\tau + \\ + \,\,\frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{{{\Psi }_{2}}\left( \tau \right)}}{{\sqrt {t - \tau } }}} \exp \left[ { - \frac{{{{v}^{2}}}}{{4a}}\left( {t - \tau } \right)} \right]d\tau = {{\varphi }_{2}}\left( t \right). \\ \end{gathered} \right\}$

В пространстве изображений система интегральных уравнений (34) принимает вид

(35)
$\left. \begin{gathered} \frac{{\sqrt a }}{{2\sqrt p }}{{{\bar {\Psi }}}_{1}}\left( p \right) + \frac{{\sqrt a }}{{2\sqrt p }}\exp \left[ { - \frac{l}{{\sqrt a }}\sqrt p } \right] \times \\ \times \,\,{{{\bar {\Psi }}}_{3}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] = {{{\bar {\varphi }}}_{1}}\left( p \right), \\ \frac{{\sqrt a }}{{2\sqrt p }}\exp \left[ { - \frac{l}{{\sqrt a }}\left( {\sqrt p + \gamma } \right)} \right] \times \\ \times \,\,{{{\bar {\Psi }}}_{1}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] + \frac{{\sqrt a }}{{2\sqrt p }}{{{\bar {\Psi }}}_{3}}\left( p \right) = {{{\bar {\varphi }}}_{3}}\left( p \right), \\ \end{gathered} \right\}$
где ${{\varphi }_{3}}\left( t \right) = {{\varphi }_{2}}\left( t \right)\exp \left( {{{\gamma }^{2}}t} \right)$. Исключая из системы функциональных уравнений (35) вначале ${{\bar {\Psi }}_{3}}\left( p \right)$, а затем ${{\bar {\Psi }}_{1}}\left( p \right)$, найдем

(36)
$\left. \begin{gathered} \exp \left[ { - \frac{l}{{\sqrt a }}\left( {\sqrt p + 2\gamma } \right)} \right]{{{\bar {\Psi }}}_{1}}\left[ {{{{\left( {\sqrt p + 2\gamma } \right)}}^{2}}} \right] - \\ - \,\,\exp \left[ { - \frac{l}{{\sqrt a }}\sqrt p } \right]{{{\bar {\Psi }}}_{1}}\left( p \right) = \\ = \frac{{2\left( {\sqrt p + \gamma } \right)}}{{\sqrt a }}{{{\bar {\varphi }}}_{3}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] - \\ - \,\,\frac{{2\sqrt p }}{{\sqrt a }}\exp \left[ { - \frac{l}{{\sqrt a }}\sqrt p } \right]{{{\bar {\varphi }}}_{1}}\left( p \right), \\ \end{gathered} \right\}$
(37)
$\left. \begin{gathered} \exp \left[ { - \frac{l}{{\sqrt a }}\left( {\sqrt p + \gamma } \right)} \right]{{{\bar {\Psi }}}_{3}}\left[ {{{{\left( {\sqrt p + 2\gamma } \right)}}^{2}}} \right] - \\ - \,\,\exp \left[ { - \frac{l}{{\sqrt a }}\left( {\sqrt p + \gamma } \right)} \right]{{{\bar {\Psi }}}_{3}}\left( p \right) = \\ = \frac{{2\left( {\sqrt p + \gamma } \right)}}{{\sqrt a }}{{{\bar {\varphi }}}_{1}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] - \\ - \,\,\frac{{2\sqrt p }}{{\sqrt a }}\exp \left[ { - \frac{l}{{\sqrt a }}\left( {\sqrt p + \gamma } \right)} \right]{{{\bar {\varphi }}}_{3}}\left( p \right). \\ \end{gathered} \right\}$

Обозначим

(38)
$\begin{gathered} {{{\bar {\Psi }}}_{1}}\left( {{{p}^{2}}} \right) = {{{\bar {A}}}_{1}}\left( p \right),\,\,\,\,{{{\bar {\Psi }}}_{3}}\left( {{{p}^{2}}} \right) = {{{\bar {A}}}_{3}}\left( p \right), \\ {{{\bar {\varphi }}}_{3}}\left( {{{p}^{2}}} \right) = {{{\bar {F}}}_{3}}\left( p \right),\,\,\,\,{{{\bar {\varphi }}}_{1}}\left( {{{p}^{2}}} \right) = {{{\bar {F}}}_{1}}\left( p \right) \\ \end{gathered} $
и перепишем (36), (37) в виде

(39)
$\begin{gathered} \exp \left( { - \frac{{2l\gamma }}{{\sqrt a }}} \right){{{\bar {A}}}_{1}}\left( {p + 2\gamma } \right) - \exp \left( {\frac{{2l}}{{\sqrt a }}p} \right){{{\bar {A}}}_{1}}\left( p \right) = \\ = \,\,\frac{2}{{\sqrt a }}\left[ {\left( {p + \gamma } \right)\exp \left( {\frac{l}{{\sqrt a }}p} \right){{{\bar {F}}}_{3}}\left( {p + \gamma } \right) - } \right. \\ \left. { - \,\,p{\kern 1pt} \exp \left[ {\frac{{2l}}{{\sqrt a }}p} \right]{{{\bar {F}}}_{1}}\left( p \right)} \right], \\ \end{gathered} $
(40)
$\begin{gathered} \exp \left( { - \frac{{2l\gamma }}{{\sqrt a }}} \right){{{\bar {A}}}_{3}}\left( {p + 2\gamma } \right) - \exp \left( {\frac{{2l}}{{\sqrt a }}p} \right){{{\bar {A}}}_{3}}\left( p \right) = \\ = \frac{2}{{\sqrt a }}\left[ {\left( {p + \gamma } \right)\exp \left( {\frac{l}{{\sqrt a }}\left( {p - \gamma } \right)} \right){{{\overline F }}_{1}}\left( {p + \gamma } \right) - } \right. \\ \left. { - \,\,p{\kern 1pt} \exp \left( {\frac{{2l}}{{\sqrt a }}p} \right){{{\overline F }}_{3}}\left( p \right)} \right]. \\ \end{gathered} $

С помощью подстановки [2]

(41)
${{\bar {A}}_{i}}\left( p \right) = \exp \left( {\frac{l}{{2\sqrt a \gamma }}{{p}^{2}}} \right){{\bar {B}}_{i}}\left( p \right),\,\,\,\,i = {\text{1,3}},$
уравнения (39) и (40) приводятся к уравнению с постоянными коэффициентами

(42)
$\begin{gathered} {{{\bar {B}}}_{1}}\left( {p + 2\gamma } \right) - {{{\bar {B}}}_{1}}\left( p \right) = \frac{2}{{\sqrt a }}\exp \left( { - \frac{l}{{2\sqrt a \gamma }}{{p}^{2}}} \right) \times \\ \times \,\,\left[ {\left( {p + \gamma } \right)\exp \left( { - \frac{l}{{\sqrt a }}p} \right){{{\bar {F}}}_{3}}\left( {p + \gamma } \right) - p{{{\bar {F}}}_{1}}\left( p \right)} \right], \\ \end{gathered} $
(43)
$\begin{gathered} {{{\bar {B}}}_{3}}\left( {p + 2\gamma } \right) - {{{\bar {B}}}_{3}}\left( p \right) = \frac{2}{{\sqrt a }}{\kern 1pt} \exp \left( { - \frac{l}{{2\sqrt a \gamma }}{{p}^{2}}} \right) \times \\ \times \,\,\left[ {\left( {p + \gamma } \right)\exp \left( { - \frac{l}{{\sqrt a }}\left( {p + \gamma } \right)} \right){{{\bar {F}}}_{1}}\left( {p + \gamma } \right) - p{{{\bar {F}}}_{3}}\left( p \right)} \right]. \\ \end{gathered} $

Непосредственной проверкой можно убедиться, что искомым частным решением функционального уравнения $\bar {B}\left( {p + 2\gamma } \right) - \bar {B}\left( p \right) = \bar {\Theta }\left( p \right)$ является функция $\overline B \left( p \right) = - \sum\nolimits_{n = 0}^\infty {\overline \Theta \left( {p + 2\gamma n} \right)} $, если этот ряд сходится. Но ряд типа $\sum\nolimits_{n = 0}^\infty {\exp \left[ { - \left( {\frac{l}{{2\sqrt a \gamma }}} \right){{{\left( {n + \bar {d}\left( p \right)} \right)}}^{2}}} \right]} $, к которому приводятся решения уравнений (42) и (43), сходится, так как $\frac{l}{{2\sqrt a \gamma }} > 0$. Находим ${{\bar {B}}_{i}}\left( p \right)$, ${\text{ }}i = {\text{1,3}}$, и далее из (38) и (41) искомые изображения плотностей потенциалов (32) в виде (33):

(44)
$\begin{gathered} {{{\bar {\Psi }}}_{1}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] = \\ = \,\, - \frac{2}{{\sqrt a }}\left[ {\sum\limits_{n = 0}^\infty {\exp \left( { - \frac{{2l\gamma }}{{\sqrt a }}} \right)n\left( {n + 1} \right)} - \frac{{\left( {2n + 1} \right)l}}{{\sqrt a }}\sqrt p } \right] \times \\ \times \,\,\left( {\sqrt p + 2\left( {n + 1} \right)\gamma } \right){{{\bar {\varphi }}}_{3}}\left[ {{{{\left( {\sqrt p + 2\left( {n + 1} \right)\gamma } \right)}}^{2}}} \right] + \\ + \,\,\frac{2}{{\sqrt a }}\sum\limits_{n = 0}^\infty {\exp \left[ { - \frac{{2l\gamma }}{{\sqrt a }}{{n}^{2}} - \frac{{2nl}}{{\sqrt a }}\sqrt p } \right]} \times \\ \times \,\,\left( {\sqrt p + 2n\gamma } \right){{{\bar {\varphi }}}_{1}}\left[ {{{{\left( {\sqrt p + 2n\gamma } \right)}}^{2}}} \right], \\ \end{gathered} $
(45)
$\begin{gathered} {{{\bar {\Psi }}}_{3}}\left[ {{{{\left( {\sqrt p + \gamma } \right)}}^{2}}} \right] = \\ = - \frac{2}{{\sqrt a }}\left[ {\sum\limits_{n = 0}^\infty {\exp \left( { - \frac{{2l\gamma }}{{\sqrt a }}} \right){{{\left( {n + 1} \right)}}^{2}}} - \frac{{\left( {2n + 1} \right)l}}{{\sqrt a }}\sqrt p } \right] \times \\ \times \,\,\left( {\sqrt p + 2\left( {n + 1} \right)\gamma } \right){{{\bar {\varphi }}}_{1}}\left[ {{{{\left( {\sqrt p + 2\left( {n + 1} \right)\gamma } \right)}}^{2}}} \right] + \\ + \,\,\frac{2}{{\sqrt a }}\sum\limits_{n = 0}^\infty {\exp \left[ { - \frac{{2l\gamma }}{{\sqrt a }}n\left( {n + 1} \right) - \frac{{2nl}}{{\sqrt a }}\sqrt p } \right]} \times \\ \times \,\,\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right){{{\bar {\varphi }}}_{3}}\left[ {{{{\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)}}^{2}}} \right]. \\ \end{gathered} $

Выражения (33), (44), (45) дают операционное решение задачи

(46)
$\begin{gathered} \bar {T}\left( {x,p} \right) = {{{\bar {\varphi }}}_{1}}\left( p \right)\frac{{\sqrt a }}{{2\sqrt p }}\exp \left[ { - \frac{x}{{\sqrt a }}\sqrt p } \right] + \\ + \,\,\frac{1}{{\sqrt p }}\sum\limits_{n = 1}^\infty {\exp \left[ { - \frac{{2l\gamma }}{{\sqrt a }}{{n}^{2}}} \right]} \left( {\sqrt p + 2n\gamma } \right) \times \\ \times \,\,\left\{ {\exp \left[ { - \frac{{\left( {2nl + x} \right)}}{{\sqrt a }}\sqrt p } \right] - \exp \left[ { - \frac{{\left( {2nl - x} \right)}}{{\sqrt a }}\sqrt p } \right]} \right\} \times \\ \times \,\,{{{\bar {\varphi }}}_{1}}\left[ {{{{\left( {\sqrt p + 2n\gamma } \right)}}^{2}}} \right] + \frac{1}{{\sqrt p }}\sum\limits_{n = 0}^\infty {\exp \left[ { - \frac{{2l\gamma }}{{\sqrt a }}n\left( {n + 1} \right)} \right]} \times \\ \times \,\,\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)\left\{ {\exp \left[ { - \frac{{\left( {\left( {2n + 1} \right)l - x} \right)}}{{\sqrt a }}\sqrt p } \right] - } \right. \\ \left. { - \,\,\exp \left[ { - \frac{{\left( {\left( {2n + 1} \right)l + x} \right)}}{{\sqrt a }}\sqrt p } \right]} \right\}{{{\bar {\varphi }}}_{3}}\left[ {{{{\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)}}^{2}}} \right]. \\ \end{gathered} $

Переходя в пространство оригиналов, получаем искомое интегральное представление аналитического решения $T\left( {x,t} \right)$:

$\begin{gathered} T\left( {x,t} \right) = \frac{1}{{2\sqrt {a\pi } }}\sum\limits_{n = - \infty }^{n = + \infty } {\int\limits_0^t {\frac{{\left[ {x + 2n\left( {l + vt} \right)} \right]}}{{{{{\left( {t - \tau } \right)}}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}}}}\,} {{\varphi }_{1}}\left( \tau \right) \times } \\ \times \,\,\exp \left\{ { - \frac{{v\left( {l + v\tau } \right)}}{a}{{n}^{2}} - \frac{{{{{\left[ {x + 2n\left( {l + v\tau } \right)} \right]}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right\}d\tau - \\ - \,\,\frac{1}{{2\sqrt {a\pi } }}\sum\limits_{n = - \infty }^{n = + \infty } {\int\limits_0^t {\frac{{\left[ {x + \left( {2n + 1} \right)\left( {l + vt} \right)} \right]}}{{{{{\left( {t - \tau } \right)}}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}}}}} \,{{\varphi }_{2}}\left( \tau \right) \times } \\ \times \,\,\exp \left\{ { - \frac{{v\left( {l + v\tau } \right)}}{a}n\left( {n + 1} \right) - } \right. \\ \left. { - \,\,\frac{{{{{\left[ {x + \left( {2n + 1} \right)\left( {l + v\tau } \right)} \right]}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right\}d\tau . \\ \end{gathered} $

Соотношение (46) позволяет рассмотреть ряд интересных приложений. Одно из них – построение функции Грина $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ первой краевой задачи для уравнения (14) с начальным условием (15) в рассматриваемой области. Функция G для этого случая удовлетворяет условиям

(47)
$\frac{{\partial G}}{{\partial t}} = a\frac{{{{\partial }^{2}}G}}{{\partial {{x}^{2}}}},\,\,\,\,0 < x < l + vt,\,\,\,\,t > \tau ,$
(48)
$G\left| {_{{t = \tau }}} \right. = \delta \left( {x - x{\kern 1pt} '} \right),\,\,\,\,0 < x < {{l}_{0}},\,\,\,\,{{l}_{0}} = l + v\tau ;$
(49)
$G\left| {_{{x = 0}}} \right. = G\left| {_{{x = l + vt}} = 0} \right.,\,\,\,\,t > \tau .$

Представим $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$ в виде [2]

$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }}\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] + \\ + \,\,q\left( {x,t,x{\kern 1pt} ',\tau } \right) = {{G}_{0}}\left( {x,t,x{\kern 1pt} ',\tau } \right) + q\left( {x,t,x{\kern 1pt} ',\tau } \right), \\ \end{gathered} $
где ${{G}_{0}}$ – фундаментальное решение уравнения теплопроводности, q – регулярная составляющая функции Грина. Переходя в (47)–(49) к функции q при $t{\kern 1pt} ' = t - \tau $, находим

(50)
$\begin{gathered} \frac{{\partial q}}{{\partial t{\kern 1pt} '}} = a\frac{{{{\partial }^{2}}q}}{{\partial {{x}^{2}}}},\,\,\,\,0 < x < l + vt{\kern 1pt} ',\,\,\,\,t{\kern 1pt} ' > 0; \\ q\left| {_{{t{\kern 1pt} ' = 0}}} \right. = 0,\,\,\,\,0 < x < {{l}_{0}}; \\ q\left| {_{{x = 0}}} \right. = \frac{1}{{2\sqrt {\pi at{\kern 1pt} '} }}\exp \left[ { - \frac{{x{\kern 1pt} {{'}^{2}}}}{{4at{\kern 1pt} '}}} \right] = {{\varphi }_{1}}\left( {t{\kern 1pt} '} \right),\,\,\,\,t{\kern 1pt} ' > 0; \\ \end{gathered} $
(51)
$\begin{gathered} q\left| {_{{x = {{l}_{0}} + vt{\kern 1pt} '}}} \right. = \frac{1}{{2\sqrt {\pi at{\kern 1pt} '} }} \times \\ \times \,\,\exp \left[ { - \frac{{{{{\left( {{{l}_{0}} - x{\kern 1pt} ' + vt{\kern 1pt} '} \right)}}^{2}}}}{{4at{\kern 1pt} '}}} \right] = {{\varphi }_{2}}\left( {t{\kern 1pt} '} \right),\,\,\,\,t{\kern 1pt} ' > 0. \\ \end{gathered} $

Изображение $\bar {q}\left( {x,p,x{\kern 1pt} ',\tau } \right)$ может быть выписано непосредственно с помощью соотношения (46), если учесть, что в случае (50), (51) операционное изображение функций, входящих в (46), имеет вид

$\begin{gathered} {{{\bar {\varphi }}}_{1}}\left( p \right) = - \frac{1}{{2\sqrt {ap} }}\exp \left( { - \frac{{x{\kern 1pt} '}}{{\sqrt a }}\sqrt p } \right); \\ {{{\bar {\varphi }}}_{1}}\left[ {{{{\left( {\sqrt p + 2\gamma n} \right)}}^{2}}} \right] = - \frac{1}{{2\sqrt a \left( {\sqrt p + 2\gamma n} \right)}} \times \\ \times \,\,\exp \left( { - \frac{{x{\kern 1pt} '}}{{\sqrt a }}\left( {\sqrt p + 2\gamma n} \right)} \right);\,\,\,\,{{{\bar {\varphi }}}_{3}}\left[ {{{{\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)}}^{2}}} \right] = \\ = \,\, - \frac{1}{{2\sqrt a \left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)}} \times \\ \times \,\,\exp \left( { - \frac{{\left( {{{l}_{0}} - x{\kern 1pt} '} \right)}}{{\sqrt a }}\left( {\sqrt p + \left( {2n + 1} \right)\gamma } \right)} \right). \\ \end{gathered} $

Подставляя эти функции в (46) и переходя к оригиналам, находим искомое выражение для функции Грина $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$:

(52)
$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {a\pi \left( {t - \tau } \right)} }} \times \\ \times \,\,\sum\limits_{n = - \infty }^{n = + \infty } {\exp \left( { - \frac{{2{{l}_{0}}\gamma }}{{\sqrt a }}{{n}^{2}} - \frac{{2\gamma x{\kern 1pt} '}}{{\sqrt a }}n} \right)} \times \\ \times \,\,\left\{ {\exp \left[ { - \frac{{{{{\left( {2n{{l}_{0}} + x{\kern 1pt} ' - x} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] - } \right. \\ \left. { - \,\,\exp \left[ { - \frac{{{{{\left( {2n{{l}_{0}} + x{\kern 1pt} ' + x} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]} \right\}, \\ \end{gathered} $
где ${{l}_{0}} = l + v\tau $, $\gamma = \frac{v}{{2\sqrt a }}$. Исследуя полученное выражение, объединим экспоненты, содержащие в показателе п2. Тогда под знаком ряда появится множитель $\exp \left[ { - {{{{l}_{0}}{{n}^{2}}\left( {l + vt} \right)} \mathord{\left/ {\vphantom {{{{l}_{0}}{{n}^{2}}\left( {l + vt} \right)} {a\left( {t - \tau } \right)}}} \right. \kern-0em} {a\left( {t - \tau } \right)}}} \right]$. Отсюда следует, что ряд (52) сходится и для отрицательных значений $v$, если $\tau < t < - \frac{l}{v}$. Но при $t = - \frac{l}{v}$ ($v$ < 0) заданная область исчезает. Следовательно, выражение (52) можно использовать для любых значений $v$.

Теперь можно учесть неоднородности в (14), (15) и написать соответствующее интегральное представление аналитического решения первой краевой задачи через функцию Грина (52) [2]:

$\begin{gathered} T\left( {x,t} \right) = \int\limits_0^l {{{{\left. {{{\Phi }_{0}}\left( {x{\kern 1pt} '} \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right|}}_{{\tau = 0}}}dx{\kern 1pt} '} + \\ + \,\,a\int\limits_0^t {\left. {{{\varphi }_{1}}\left( \tau \right)\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right|} _{{x{\kern 1pt} ' = 0}}^{{}}d\tau - a\int\limits_0^t {\left. {{{\varphi }_{2}}\left( \tau \right)\frac{{\partial G}}{{\partial x{\kern 1pt} '}}} \right|} _{{x{\kern 1pt} ' = l + v\tau }}^{{}}d\tau + \\ + \,\,\int\limits_0^t {\int\limits_0^{l + v\tau } {F\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} d\tau dx{\kern 1pt} '} . \\ \end{gathered} $

Выражение (52) позволяет записать $G\left( {r,t,r{\kern 1pt} ',\tau } \right)$ первой краевой задачи для центрально-симметрической области $r \in \left[ {0,R + vt} \right]$, $t \geqslant 0$, если учесть, что с помощью подстановки $\Theta = rG$ этот случай сводится к изученному в декартовой системе координат $\left( {r,t} \right)$. Находим

$\begin{gathered} G\left( {r,t,r{\kern 1pt} ',\tau } \right) = \frac{1}{{8\pi rr{\kern 1pt} '\sqrt {a\pi \left( {t - \tau } \right)} }} \times \\ \times \,\,\sum\limits_{n = - \infty }^{n = + \infty } {\exp \left( { - \frac{{{{R}_{0}}v}}{a}{{n}^{2}} - \frac{{r{\kern 1pt} 'v}}{a}n} \right)} \times \\ \times \,\,\sum\limits_{k = 1}^2 {{{{\left( { - 1} \right)}}^{{k + 1}}}} \exp \left[ { - \frac{{{{{\left( {2n{{R}_{0}} + r{\kern 1pt} ' + {{{\left( { - 1} \right)}}^{k}}r} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right], \\ \end{gathered} $
где ${{R}_{0}} = R + v\tau $. Для других граничных условий специфические особенности метода заключаются лишь в решении конечно-разностного уравнения и переходе к оригиналу. Так, для граничных условий смешанного типа в (16) ${{\beta }_{{11}}} = {{\beta }_{{22}}} = 0,\,\,{{\beta }_{{12}}} = {{\beta }_{{13}}} = {{\beta }_{{23}}} = {{\beta }_{{21}}} = 1$ при $y\left( t \right) = vt$ ($v$ > 0) соответствующая функция Грина имеет вид
$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {a\pi \left( {t - \tau } \right)} }} \times \\ \times \,\,\sum\limits_{n = - \infty }^{n = + \infty } {{{{\left( { - 1} \right)}}^{n}}\exp \left( { - \frac{{{{v}^{2}}\tau }}{a}{{n}^{2}} - \frac{{vx{\kern 1pt} '}}{a}n} \right)} \times \\ \times \,\,\left\{ {\exp \left[ { - \frac{{{{{\left( {2nv\tau - x + x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] - } \right. \\ - \,\,\left. {\exp \left[ { - \frac{{{{{\left( {2nv\tau + x + x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]} \right\} + \\ + \,\,\frac{v}{{2a}}\sum\limits_{n = - \infty }^{n = + \infty } {{{{\left( { - 1} \right)}}^{n}}n{\kern 1pt} {\kern 1pt} \exp \left( { - \frac{{{{v}^{2}}\tau }}{a}{{n}^{2}} - \frac{{vx{\kern 1pt} '}}{a}n} \right)} \times \\ \times \,\,\left[ {\Phi \left( {\frac{{2nv\tau + x + x{\kern 1pt} '}}{{2\sqrt {a\left( {t - \tau } \right)} }}} \right) - \Phi \left( {\frac{{2nv\tau + x{\kern 1pt} ' - x}}{{2\sqrt {a\left( {t - \tau } \right)} }}} \right)} \right], \\ \end{gathered} $
где $\Phi \left( z \right) = \frac{2}{{\sqrt \pi }}\int_0^z {\exp \left( { - {{y}^{2}}} \right)dy} $ – функция Лапласа.       Метод может быть распространен также на некоторые другие области и законы движения границы. Особенно эффективным метод становится для области $x \geqslant l + vt$, $t \geqslant 0$. Решение задачи
(53)
$\frac{{\partial T}}{{\partial t}} = a\frac{{{{\partial }^{2}}T}}{{\partial {{x}^{2}}}},\,\,\,\,x > l + vt,\,\,\,\,t > {\text{0;}}$
(54)
$\begin{gathered} T\left( {x,0} \right) = 0,\,\,\,\,x \geqslant l; \\ {{\left( {{{\beta }_{1}}{{\partial T} \mathord{\left/ {\vphantom {{\partial T} {\partial x}}} \right. \kern-0em} {\partial x}} + {{\beta }_{2}}T} \right)}_{{x = l + vt}}} = {{\beta }_{3}}\varphi \left( t \right),\,\,\,\,t \geqslant 0; \\ \end{gathered} $
(55)
$\left| {T\left( {x,t} \right)} \right| < + \infty ,\,\,\,\,x \geqslant l + vt,\,\,\,\,t \geqslant {\text{0}},$
записывается в виде обобщенного теплового потенциала простого слоя по кривой $x = l + vt$
(56)
$T\left( {x,t} \right) = \frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{\Psi \left( \tau \right)}}{{\sqrt {\left( {t - \tau } \right)} }}\exp \left[ { - \frac{{{{{\left( {x - l - v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]} d\tau .$
Здесь $\Psi \left( t \right)$ неизвестная плотность потенциала, подлежащая нахождению из граничного условия (54). В пространстве изображений по Лапласу $\overline T \left( {x,p} \right) = \int_0^\infty {T\left( {x,t} \right)\exp \left( { - pt} \right)} dt$, $\operatorname{Re} p \geqslant \beta > 0$, $\left| {\arg p} \right| < \frac{\pi }{2}$ выражение (56) принимает вид

$\bar {T}\left( {x,p} \right) = \frac{{\sqrt a }}{{2\sqrt p }}\exp \left[ { - \left( {x - l} \right)\sqrt {p{\text{/}}a} } \right]\bar {\Psi }\left( {p - v\sqrt {p{\text{/}}a} } \right).$

Отсюда следует, что неизвестную плотность следует искать относительно вида $\overline \Psi \left( {p - v\sqrt {p{\text{/}}a} } \right)$. Конечное операционное (базовое) решение задачи (53)–(55) имеет вид

(57)
$\begin{gathered} \bar {T}\left( {x,p} \right) = \bar {\Theta }\left( p \right)\left( {1 - \frac{{{v \mathord{\left/ {\vphantom {v {\left( {2a} \right)}}} \right. \kern-0em} {\left( {2a} \right)}}}}{{\sqrt {p{\text{/}}a} }}} \right) \times \\ \times \,\,\exp \left[ { - \left( {x - l} \right)\sqrt {p{\text{/}}a} } \right]\bar {\varphi }\left( {p - v\sqrt {p{\text{/}}a} } \right), \\ \end{gathered} $
${\text{где }}\overline \Theta \left( p \right) = \left\{ \begin{gathered} 1{\text{ }}\left( {{{\beta }_{{\text{1}}}} = 0,{\text{ }}{{\beta }_{{\text{2}}}} = {{\beta }_{{\text{3}}}} = 1} \right){\text{ для 1 - й краевой задачи}}; \hfill \\ - 1{\text{/}}\sqrt {p{\text{/}}a} {\text{ }}\left( {{{\beta }_{{\text{2}}}} = 0,{\text{ }}{{\beta }_{{\text{1}}}} = {{\beta }_{{\text{3}}}} = 1} \right){\text{ для 2 - й краевой задачи}}; \hfill \\ h{\text{/}}\left( {h + \sqrt {p{\text{/}}a} } \right){\text{ }}\left( {{{\beta }_{{\text{1}}}} = 0,{\text{ }}{{\beta }_{{\text{2}}}} = {{\beta }_{{\text{3}}}} = - h} \right){\text{ для 3 - й краевой задачи}}. \hfill \\ \end{gathered} \right.$

Выражение (57) включает в себя многочисленные частные случаи граничной функции $\varphi \left( t \right)$ в (54), представляющие практический интерес: однородные, импульсные, пульсирующие, периодические и т.д. Переход к оригиналам происходит по известным правилам операционного исчисления и приводит к аналитическим решениям весьма компактного вида. Так,

для первой краевой задачи $\left( {{{{\left. {T\left( {x,t} \right)} \right|}}_{{x = l + vt}}} = \varphi \left( t \right)} \right)$

$\begin{gathered} T\left( {x,t} \right) = \frac{{\sqrt a }}{{2\sqrt \pi }}\int\limits_0^t {\frac{{x - \left( {l + vt} \right)}}{{{{{\left( {t - \tau } \right)}}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}}}}\varphi \left( \tau \right)} \times \\ \times \,\,\exp \left[ { - \frac{{{{{\left( {x - l - v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]d\tau ; \\ \end{gathered} $

для второй краевой задачи $\left( {{{{\left. {\frac{{\partial T}}{{\partial x}}} \right|}}_{{x = l + vt}}} = \varphi \left( t \right)} \right)$

$\begin{gathered} T\left( {x,t} \right) = \frac{v}{a}\int\limits_0^t {\varphi \left( \tau \right)\Phi {\kern 1pt} *\left( { - \frac{{x - l - v\tau }}{{2\sqrt {a\left( {t - \tau } \right)} }}} \right)d\tau - } \\ - \,\,\frac{{\sqrt a }}{{\sqrt \pi }}\int\limits_0^t {\frac{{\varphi \left( \tau \right)}}{{\sqrt {t - \tau } }}\exp \left[ { - \frac{{{{{\left( {x - l - v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]} d\tau ; \\ \end{gathered} $

для третьей краевой задачи $\left( {{{{\left. {\frac{{\partial T}}{{\partial x}}} \right|}}_{{x = l + vt}}}} \right.$ = = $\left. {_{{_{{_{{}}^{{}}}}^{{}}}}^{{}}h\left( {{{{\left. T \right|}}_{{x = l + vt}}} - \varphi \left( t \right)} \right)} \right)$

$\begin{gathered} T\left( {x,t} \right) = \frac{{h\sqrt a }}{{\sqrt \pi }}\int\limits_0^t {\frac{{\varphi \left( \tau \right)}}{{\sqrt {t - \tau } }}\exp \left[ { - \frac{{{{{\left( {x - l - v\tau } \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right]} d\tau - \\ - \,\,ah\left( {h + \frac{v}{a}} \right)\int\limits_0^t {\varphi \left( \tau \right)\Phi {\kern 1pt} * \times } \\ \times \,\,\left( { - \frac{{x - l - v\tau }}{{2\sqrt {a\left( {t - \tau } \right)} }} + h\sqrt {a\left( {t - \tau } \right)} } \right) \times \\ \times \,\,\exp \left[ { - \left( {x - l - v\tau } \right)h + a{{h}^{2}}\left( {t - \tau } \right)} \right]d\tau , \\ \end{gathered} $

где $\Phi {\kern 1pt} *\left( z \right) = 1 - \Phi \left( z \right)$.

Все рассуждения сохраняются и при наличии в (53) однородного нестационарного источника $f\left( t \right)$. В этом случае справа в (56) появляется слагаемое $\int_0^t {f\left( \tau \right)d\tau } $, незначительно усложняющее выкладки.

ФУНКЦИИ ГРИНА ДЛЯ ЧАСТИЧНО ОГРАНИЧЕННОЙ ОБЛАСТИ

Наиболее сложный случай – нахождение аналитического решения задачи в ${{\bar {\Theta }}_{t}} = $ $\left\{ {x \in \left[ {l + vt,\infty } \right),t \geqslant 0} \right\}$ при наличии в исходной постановке неоднородных и нестационарных краевых функций:

(58)
$\frac{{\partial T}}{{\partial t}} = a\frac{{{{\partial }^{2}}T}}{{\partial {{x}^{2}}}} + f\left( {x,t} \right){\text{,}}\,\,\,\,x > l + vt,\,\,\,\,t > {\text{0;}}$
(59)
${{\left. {T\left( {x,t} \right)} \right|}_{{t = 0}}} = {{\Phi }_{0}}\left( x \right),\,\,\,\,x \geqslant l;$
(60)
${{\left. {\left( {{{\beta }_{1}}\frac{{\partial T}}{{\partial x}} + {{\beta }_{2}}T} \right)} \right|}_{{x = l + vt}}} = {{\beta }_{3}}\varphi \left( t \right),\,\,\,\,t > 0;$
(61)
$\left| {T\left( {x,t} \right)} \right| < + \infty ,\,\,\,\,x \geqslant l + vt,\,\,\,\,t \geqslant {\text{0}}{\text{.}}$
Здесь $f\left( {x,t} \right) \in {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right)$, ${{\Phi }_{0}}\left( x \right) \in {{C}^{1}}\left( {{{{\overline \Omega }}_{t}}} \right)$, $\varphi \left( t \right) \in $ $ \in {{C}^{0}}\left[ {0; + \infty } \right)$ – искомое решение $T\left( {x,t} \right) \in $ $ \in {{C}^{2}}\left( {{{\Omega }_{t}}} \right) \cap {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right)$; $gra{{d}_{x}}T\left( {x,t} \right) \in {{C}^{0}}\left( {{{{\overline \Omega }}_{t}}} \right)$. В этом случае целесообразно записать интегральное представление решения задачи через функцию Грина $G\left( {x,t,x{\kern 1pt} ',\tau } \right)$. Выражение (57) позволяет это сделать с минимальными выкладками. Рассмотрим последнее подробно.

Согласно (47)–(49), функция Грина для краевой задачи (58)–(61) находится из условий

(62)
$\begin{gathered} \frac{{\partial G}}{{\partial t}} = a\frac{{{{\partial }^{2}}G}}{{\partial {{x}^{2}}}},\,\,\,\,x > l + vt,\,\,\,\,t > \tau ; \\ {{\left. {G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right|}_{{t = \tau }}} = \delta \left( {x - x{\kern 1pt} '} \right), \\ x > l + v\tau ,\,\,\,\,x{\kern 1pt} ' > l + v\tau ; \\ {{\left. {\left( {{{\beta }_{1}}\frac{{\partial G}}{{\partial x}} + {{\beta }_{2}}G} \right)} \right|}_{{x = l + vt}}} = 0{\text{ }},\,\,\,\,t > \tau ; \\ \left| {G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \right| < + \infty ,\,\,\,\,x \geqslant l + vt,\,\,\,\,t \geqslant \tau ; \\ \end{gathered} $
где ${{\beta }_{{\text{1}}}} = 0,{\text{ }}{{\beta }_{{\text{2}}}} = 1$ в случае первой краевой задачи; ${{\beta }_{{\text{1}}}} = 1,{\text{ }}{{\beta }_{{\text{2}}}} = 0$ – второй краевой задачи; ${{\beta }_{{\text{1}}}} = 1,{\text{ }}{{\beta }_{{\text{2}}}} = - h$ – третьей краевой задачи. Найдем G для третьей краевой задачи, так как остальные случаи вытекают из последнего. Согласно (17), функцию Грина нужно искать в виде суммы фундаментального решения уравнения (62) и регулярной составляющей

(63)
$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }} \times \\ \times \,\,\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] + q\left( {x,t,x{\kern 1pt} ',\tau } \right). \\ \end{gathered} $

В случае третьей краевой задачи, согласно (63), имеем для функции $q\left( {x,t',x',\tau } \right)$

(64)
$\begin{gathered} \frac{{\partial q}}{{\partial t{\kern 1pt} '}} = a\frac{{{{\partial }^{2}}q}}{{\partial {{x}^{2}}}},\,\,\,\,x > {{l}_{0}} + vt{\kern 1pt} ',\,\,\,\,t{\kern 1pt} ' > 0; \\ q\left( {x,t{\kern 1pt} ',x{\kern 1pt} ',\tau } \right)\left| {_{{t{\kern 1pt} ' = 0}}} \right. = 0,\,\,\,\,x > {{l}_{0}}; \\ \frac{{\partial q}}{{\partial x}}\left| {_{{x = {{l}_{0}} + vt{\kern 1pt} '}}} \right. = h\left\{ {{{{\left. q \right|}}_{{_{{x = {{l}_{0}} + vt{\kern 1pt} '}}}}} - \frac{{\left( {\left. {x{\kern 1pt} ' - {{l}_{0}}} \right) - \left( {v + 2ah} \right)t{\kern 1pt} '} \right.}}{{4h\sqrt \pi {{{\left( {at'} \right)}}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}}}}} \right. \times \\ \left. { \times \,\,\exp \left[ { - \frac{{{{{\left( {{{l}_{0}} + vt{\kern 1pt} ' - x{\kern 1pt} '} \right)}}^{2}}}}{{4at{\kern 1pt} '}}} \right]} \right\},\,\,\,\,t{\kern 1pt} ' > 0; \\ \left| {q\left( {x,t{\kern 1pt} ',x{\kern 1pt} ',\tau } \right)} \right| < + \infty ,\,\,\,\,x > {{l}_{0}} + vt{\kern 1pt} ',\,\,\,\,{\text{ }}t{\kern 1pt} ' \geqslant 0, \\ \end{gathered} $
где ${{l}_{0}} = l + v\tau $, $t{\kern 1pt} ' = t - \tau $. Теперь в соответствии с подходом (57) в граничном условии (64) выделяется функция
$\varphi \left( {t{\kern 1pt} '} \right) = \frac{{\left( {\left. {x{\kern 1pt} ' - {{l}_{0}}} \right) - \left( {v + 2ah} \right)t{\kern 1pt} '} \right.}}{{4h\sqrt \pi {{{\left( {at{\kern 1pt} '} \right)}}^{{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-0em} 2}}}}}}\exp \left[ { - \frac{{{{{\left( {{{l}_{0}} + vt{\kern 1pt} ' - x{\kern 1pt} '} \right)}}^{2}}}}{{4at'}}} \right],$
находится ее изображение в виде, указанном в (57):
$\begin{gathered} \bar {\varphi }\left( {p - \frac{v}{{\sqrt a }}\sqrt p } \right) = \frac{{\sqrt p - \left( {\frac{v}{{\sqrt a }} + h\sqrt a } \right)}}{{2ah\left( {\sqrt p - \frac{v}{{2\sqrt a }}} \right)}} \times \\ \times \,\,\exp \left[ { - \frac{{x{\kern 1pt} ' - {{l}_{0}}}}{{\sqrt a }}\sqrt p + \frac{v}{a}\left( {x{\kern 1pt} ' - {{l}_{0}}} \right)} \right], \\ \end{gathered} $
и выполняется переход с помощью (57) к изображению для $\bar {q}\left( {x,p,x{\kern 1pt} ',\tau } \right)$

(65)
$\begin{gathered} \bar {q} = \frac{1}{{2\sqrt a }}\frac{{\sqrt p - \left( {\frac{v}{{\sqrt a }} + h\sqrt a } \right)}}{{\sqrt p \left( {\sqrt p + h\sqrt a } \right)}} \times \\ \times \,\,\exp \left[ { - \frac{{x + x{\kern 1pt} ' - 2{{l}_{0}}}}{{\sqrt a }}\sqrt p + \frac{v}{a}\left( {x{\kern 1pt} ' - {{l}_{0}}} \right)} \right]. \\ \end{gathered} $

Обращаясь в (65) к оригиналам и учитывая (63), находим функцию Грина для третьей краевой задачи в области $x > l + vt,$ $t > 0$:

$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }}\left\{ {\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] + } \right. \\ + \,\,\left. {\exp \left[ { - \frac{{{{{\left( {x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}} + \frac{v}{a}\left( {x{\kern 1pt} ' - \left( {l + v\tau } \right)} \right)} \right]} \right\} - \\ - \,\,\left( {h + \frac{v}{{2a}}} \right)\exp \left\{ {\left[ {x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)h} \right] + _{{_{{}}^{{_{{}}^{{}}}}}}^{{_{{}}^{{}}}}} \right. \\ \left. { + \,\,a{{h}^{2}}\left( {t - \tau } \right) + \frac{v}{a}\left[ {x{\kern 1pt} ' - \left( {l + v\tau } \right)} \right]} \right\} \times \\ \times \,\,\Phi {\kern 1pt} *\left( {\frac{{x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)}}{{2\sqrt {a\left( {t - \tau } \right)} }} + h\sqrt {a\left( {t - \tau } \right)} } \right). \\ \end{gathered} $

Полагая в (65) $h = 0$, находим функцию Грина для второй краевой задачи

$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }}\left\{ {\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] + } \right. \\ \left. { + \,\,\exp \left[ { - \frac{{{{{\left( {x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}} + \frac{v}{a}\left( {x{\kern 1pt} ' - \left( {l + v\tau } \right)} \right)} \right]} \right\} - \\ - \,\,\frac{v}{{2a}}\exp \left[ {\frac{v}{a}\left( {x{\kern 1pt} ' - \left( {l + v\tau } \right)} \right)} \right]\Phi {\kern 1pt} *\left( {\frac{{x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)}}{{2\sqrt {a\left( {t - \tau } \right)} }}} \right). \\ \end{gathered} $

Предельный переход при $\left( {{1 \mathord{\left/ {\vphantom {1 h}} \right. \kern-0em} h}} \right) \to 0$ в (65) приводит к функции Грина для первой краевой задачи:

$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = \frac{1}{{2\sqrt {\pi a\left( {t - \tau } \right)} }}\left\{ {\exp \left[ { - \frac{{{{{\left( {x - x{\kern 1pt} '} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right] - } \right. \\ \left. { - \,\,\exp \left[ { - \frac{{{{{\left( {x + x{\kern 1pt} ' - 2\left( {l + v\tau } \right)} \right)}}^{2}}}}{{4a\left( {t - \tau } \right)}} + \frac{v}{a}\left( {x{\kern 1pt} ' - \left( {l + v\tau } \right)} \right)} \right]} \right\}. \\ \end{gathered} $

Интегральная запись аналитического решения задачи (58)–(62), согласно (8), имеет вид

(66)
$\begin{gathered} T\left( {x,t} \right) = \int\limits_l^\infty {{{\Phi }_{0}}\left( {x{\kern 1pt} '} \right)G\left( {x,t,x{\kern 1pt} ',0} \right)} \,dx{\kern 1pt} '\,\, + \\ + \,\,a{{\int\limits_0^t {\left( {{{\gamma }_{1}}\frac{{\partial G}}{{\partial x{\kern 1pt} '}} - {{\gamma }_{2}}G} \right)} }_{{x{\kern 1pt} ' = l + v\tau }}}\varphi \left( \tau \right)d\tau + \\ + \,\,\int\limits_0^t {\int\limits_{l + v\tau }^\infty {f\left( {x{\kern 1pt} ',\tau } \right)G\left( {x,t,x{\kern 1pt} ',\tau } \right)} \,d\tau } dx{\kern 1pt} ', \\ \end{gathered} $
где ${{\gamma }_{1}} = 1,{\text{ }}{{\gamma }_{2}} = 0$ в случае первой краевой задачи; ${{\gamma }_{1}} = 0,{\text{ }}{{\gamma }_{2}} = 1$ – второй краевой задачи;${{\gamma }_{1}} = 0,{\text{ }}{{\gamma }_{2}} = - h$ – третьей краевой задачи. Движущиеся границы вызывают эффекты, которые проявляются при графическом изображении температурных функций. С этой целью в (58)–(61) рассмотрим первую краевую задачу (${{\beta }_{{\text{1}}}} = 0,{\text{ }}{{\beta }_{{\text{2}}}} = {{\beta }_{{\text{3}}}} = 1$) при $f\left( {x,t} \right) = f\left( t \right)$, ${{\Phi }_{{\text{0}}}}\left( x \right) = {{T}_{0}}$.

В безразмерных переменных

$\begin{gathered} z = \frac{x}{l};\,\,\,\,{\text{Fo}} = \frac{{at}}{{{{l}^{2}}}};\,\,\,\,Pe = \frac{{vl}}{a};\,\,\,\,\varphi \left( {{\text{Fo}}} \right) = \frac{{\varphi \left( t \right)}}{{{{T}_{0}}}}; \\ q\left( {{\text{Fo}}} \right) = \frac{{f\left( t \right){{l}^{2}}}}{{ac\rho }};\,\,\,\,W\left( {z,{\text{Fo}}} \right) = \frac{{T\left( {x,t} \right)}}{{{{T}_{0}}}}, \\ \end{gathered} $
решение такой задачи при $\varphi \left( {{\text{Fo}}} \right) = {{\varphi }_{0}} = {\text{const}},$ $q\left( {{\text{Fo}}} \right) = {{q}_{0}} = {\text{const}}$ на основании (66) имеет следующий вид:

(67)
$\begin{gathered} W\left( {z,{\text{Fo}}} \right) = \frac{{{{\varphi }_{0}}}}{2}\left\{ {\Phi {\kern 1pt} *\left( {\frac{{z - 1}}{{2\sqrt {{\text{Fo}}} }}} \right) + } \right. \\ + \,\,\exp \left[ { - {\text{Pe}}(z - 1 - {\text{Pe}}\sqrt {{\text{Fo}}} } \right] \times \\ \left. { \times \,\,\Phi {\kern 1pt} *\left( {\frac{{z - 1}}{{2\sqrt {{\text{Fo}}} }} - {\text{Pe}}\sqrt {{\text{Fo}}} } \right)} \right\} - \\ - \,\,\frac{{{{q}_{{0\left( {z - 1} \right)}}}}}{{2\sqrt {{\text{Pe}}} }}\Phi {\kern 1pt} *\left( {\frac{{z - 1}}{{2\sqrt {{\text{Fo}}} }}} \right) + \frac{{{{q}_{0}}\left( {z - 1 - 2{\text{PeFo}}} \right)}}{{2{\text{Pe}}}} \times \\ \times \,\,\exp \left[ { - {\text{Pe}}\left( {z - 1 - {\text{PeFo}}} \right)} \right] \times \\ \times \,\,\Phi {\kern 1pt} *\left( {\frac{{z - 1}}{{2\sqrt {{\text{Fo}}} }} - {\text{Pe}}\sqrt {{\text{Fo}}} } \right) + {{q}_{0}}{\text{Fo}}{\text{.}} \\ \end{gathered} $

На рис. 1 приведены построенные по соотношению (67) зависимости T(z, Fo) от Fo в сечении z = 2 при Pe = 0, ${{\varphi }_{0}}$ = 1 и различных значениях ${{q}_{0}}$. Характер кривых на рисунке является типичным для теплообмена в области z > 1 с внутренним однородным источником теплоты. Однако с появлением движения границы ситуация резко меняется, что отражено на рис. 2, построенном также по соотношению (67) при тех же условиях. При z > 1 + PeFo для сечения z = соnst имеем 0 < Fo < (z – 1)/Pe и при z = 2 в интервале Fo $ \in $ (0, 1/Pe) существует момент времени, при котором температура достигает максимального значения. Последнее обстоятельство имеет важное прикладное значение в термомеханике при изучении теплового удара [8], приводящего к разрывам сплошности во внутренних слоях твердого тела.

Рис. 1.

Зависимости температурной функции $T\left( {z,{\text{Fo}}} \right)$ от безразмерного времени Fo в случае нагрева с постоянной температурой на границе и источником теплоты постоянной мощности в сечении z = 2 при ${{\varphi }_{0}}$ = 1, Ре = 0 и различных значениях мощности источника: 1q0 = 0, 2 – 0.5, 3 – 1, 4 – 2, 5 – 3.

Рис. 2.

Зависимости температурной функции $T\left( {z,{\text{Fo}}} \right)$ от безразмерного времени Fo в случае нагрева с постоянной температурой на границе и источником теплоты постоянной мощности в сечении z = 2 при ${{\varphi }_{0}}$ = 1, Ре = 0.35 и различных значениях мощности источника: 1q0 = 0, 2 – 0.5, 3 – 1, 4 – 2, 5 – 3.

Метод тепловых потенциалов можно эффективно использовать при нахождении аналитических решений сравнительно новых задач теплопроводности с интегральным граничным условием, встречающихся при моделировании ряда процессов экологии, биологии, физики плазмы, термомеханики [1]. Здесь могут быть получены результаты, представляющие существенный интерес. Например, решение задачи

(68)
$\begin{gathered} \frac{{\partial T}}{{\partial t}} = a\frac{{{{\partial }^{2}}T}}{{\partial {{x}^{2}}}}{\text{ ,}}\,\,\,\,x > 2\sqrt a y\left( t \right),\,\,\,\,t > {\text{0}}; \\ T\left( {x,0} \right) = 0,\,\,\,\,x \geqslant 0, \\ \left| {T\left( {x,t} \right)} \right| < + \infty ,\,\,\,\,x \geqslant 0,\,\,\,\,t \geqslant {\text{0;}} \\ \end{gathered} $
(69)
$\int\limits_{2\sqrt a y\left( t \right)}^\infty {T\left( {x,t} \right)dx = 2\sqrt a y\left( t \right)} ,$
где y(t) известная функция времени, следует записать в виде теплового потенциала

$T\left( {x,t} \right) = \int\limits_0^t {\frac{{\Psi \left( \tau \right)}}{{\sqrt {t - \tau } }}\exp \left\{ { - \frac{{{{{\left[ {x - 2\sqrt a y\left( \tau \right)} \right]}}^{2}}}}{{4a\left( {t - \tau } \right)}}} \right\}} d\tau .$

Неизвестная плотность $\Psi \left( \tau \right)$ данного потенциала находится из граничного условия (69), что приводит к уравнению

(70)
$\int\limits_0^1 {\Psi \left( {z\tau } \right)\left[ {1 - \Phi \left( {\frac{{y\left( t \right) - y\left( {zt} \right)}}{{\sqrt {t\left( {1 - z} \right)} }}} \right)} \right]} dz = {{2y\left( t \right)} \mathord{\left/ {\vphantom {{2y\left( t \right)} {\sqrt {\pi t} }}} \right. \kern-0em} {\sqrt {\pi t} }}.$

Пусть в (68) $y\left( t \right) = \beta t$. Операционное решение интегрального уравнения (70) имеет вид

$\begin{gathered} \Psi \left( t \right) = \frac{{2\beta }}{{\sqrt \pi }}\left[ {1 + {{\beta }^{2}}t + \left( {{{\beta }^{2}}t + \frac{1}{2}} \right) \times } \right. \\ \left. { \times \,\,\Phi \left( {\beta \sqrt t } \right)\frac{{\beta \sqrt t }}{{\sqrt \pi }}\exp \left( { - {{\beta }^{2}}t} \right)} \right]. \\ \end{gathered} $

Пусть $y\left( t \right) = \beta \sqrt t $, тогда уравнение (70) имеет решение

$\begin{gathered} \Psi \left( t \right) = \frac{{2\beta }}{{\sqrt {\pi \gamma t} }};\,\,\,\,\gamma = \left[ {1 + \Phi \left( \beta \right)} \right]\,\, \times \\ \times \,\,\left[ {1 - \sqrt \pi \,\beta \exp \left( {{{\beta }^{2}}} \right)\Phi {\kern 1pt} *\left( \beta \right)} \right]. \\ \end{gathered} $

КОРНЕВАЯ ЗАВИСИМОСТЬ

Как отмечалось выше, искусственные приемы, подстановки, преобразования могут в ряде случаев оказаться весьма эффективными при нахождении аналитических решений уравнений параболического типа в нецилиндрических областях. Рассмотрим один из таких приемов для области с границей, движущейся по корневой зависимости:

(71)
$\frac{{\partial T}}{{\partial t}} = a\frac{{{{\partial }^{2}}T}}{{\partial {{x}^{2}}}},\,\,\,\,x > \gamma \sqrt {2at} ,\,\,\,\,t > 0,$
(72)
$T(x,0) = 0,\,\,\,\,x \geqslant 0,$
(73)
$T(x,t)\left| {_{{x = \gamma \sqrt {2at} }} = \varphi (t),\,\,\,\,t > 0,} \right.$
(74)
$\left| {T(x,t)} \right| < \infty ,\,\,\,\,x \geqslant \gamma \sqrt {2at} ,\,\,\,\,t \geqslant 0.$

Вместо независимой переменной $x$ вводится новая переменная  $\xi = i\left( {x{\text{/}}\sqrt {2at} } \right)$ (i – мнимая единица), а вместо функции $T(x,t)$ – последовательно новые функции $\Theta $ $(\xi ,t) \equiv T(x,t),\,\,W(\xi ,t) = $ $ = \exp ( - {{\xi }^{2}}{\text{/}}4)\Theta (\xi ,t).$ Тогда задача (71)–(74) принимает вид

(75)
$\begin{gathered} \frac{{{{\partial }^{2}}W}}{{\partial {{\xi }^{2}}}} + (1{\text{/}}2 - {{\xi }^{2}}{\text{/}}4)W + 2t\frac{{\partial W}}{{\partial t}} = 0, \\ \xi > i\gamma ,\,\,\,\,t > 0, \\ \end{gathered} $
(76)
$W(\xi ,0) = 0,\,\,\,\,\xi \geqslant i\gamma ,$
(77)
$W(\xi ,t)\left| {_{{\xi = i\gamma }}\,\, = \exp ({{\gamma }^{2}}{\text{/}}4)\varphi (t),\,\,\,\,t > 0,} \right.$
$\left| {W(\xi ,t)} \right| < \infty ,\,\,\,\,\xi \geqslant i\gamma ,\,\,\,\,t \geqslant 0.$

Пусть граничная функция $\varphi (t)$ раскладывается в ряд вида $\varphi (t) = \sum\nolimits_{k = - \infty }^{k = + \infty } {{{c}_{{k{\text{/}}m}}}{{t}^{{k{\text{/}}m}}},} $ где $m - $ произвольное число. Решение преобразованной задачи нужно искать в виде функционального ряда того же вида, но с неизвестными коэффициентами:

$W(\xi ,t) = \sum\limits_{k = - \infty }^{k = + \infty } {{{M}_{{k/m}}}{{t}^{{k{\text{/}}m}}}} .$

Уравнение (75) с условиями (76), (77) приводит к уравнению Вебера для функций параболического цилиндра ${{D}_{p}}(z)$ :

$\begin{gathered} {{d}^{2}}{{M}_{{k{\text{/}}m}}}{\text{/}}d{{\xi }^{2}} + (2k{\text{/}}m + 1{\text{/}}2 - {{\xi }^{2}}{\text{/}}4){{M}_{{k/m}}} = 0, \\ \xi > i\gamma ,\,\,\,\,{{M}_{{k{\text{/}}m}}}(i\gamma ) = \exp ({{\gamma }^{2}}{\text{/}}4){{c}_{{k/m}}}, \\ \left| {{{M}_{{k{\text{/}}m}}}(\xi )} \right| < \infty ,\,\,\,\,\xi \geqslant i\gamma , \\ \end{gathered} $
откуда находим ${{M}_{{k/m}}}(\xi ) = {{c}_{{k{\text{/}}m}}}\exp ({{\gamma }^{2}}{\text{/}}4) \times $ $ \times \,\,{{D}_{{ - 2k{\text{/}}m - 1}}}( - i\xi ){\text{/}}{{D}_{{ - 2k{\text{/}}m - 1}}}(\gamma )$. Искомое решение в системе координат $(x,t)$ будет иметь вид

(78)
$\begin{gathered} T(x,t) = \exp \left( { - \frac{{{{x}^{2}}}}{{8at}} + {{\gamma }^{2}}{\text{/}}4} \right)\,\, \times \\ \times \,\,\sum\limits_{k = - \infty }^{k = + \infty } {{{c}_{{k/m}}}\frac{{{{D}_{{ - 2k{\text{/}}m - 1}}}\left( {\frac{x}{{2\sqrt {at} }}} \right)}}{{{{D}_{{ - 2k{\text{/}}m - 1}}}(\gamma )}}} . \\ \end{gathered} $

Выражение (78) включает ряд частных случаев, известных в литературе. Например, пусть $\varphi (t) = {{T}_{0}} = {\text{const}}$, тогда можно воспользоваться полученным специально для этого случая преобразованием

(79)
${{D}_{{ - 2s - 1}}}(z) = {{2}^{s}}\sqrt {\pi {\text{/}}2} \exp ({{z}^{2}}{\text{/}}4){{i}^{{2s}}}\Phi {\kern 1pt} *(z{\text{/}}\sqrt 2 ),$
где ${{i}^{{2s}}}\Phi {\kern 1pt} *(z) = \int_z^\infty {{{i}^{{2s - 1}}}(y)dy,\Phi {\kern 1pt} *(z) = 1 - \Phi (z),\Phi (z) - } $ функция Лапласа.

Следует заметить, что соотношение (79) может представлять интерес для теории специальных функций. Решение (78) приводится к виду

$T(x,t){\text{/}}{{T}_{0}} = \Phi {\kern 1pt} *\left( {\frac{x}{{2\sqrt {at} }}} \right){\text{/}}\Phi {\kern 1pt} *(\gamma {\text{/}}\sqrt 2 ),$
полученному в [8]. Если $\varphi (t) = {{T}_{0}}t$, то аналогично можно найти известное решение [2]

$\begin{gathered} \frac{{T(x,t)}}{{{{T}_{0}}}} = \\ = \,\,\frac{{\sqrt {\pi {\text{/}}2} \left( {1 - \frac{{{{x}^{2}}}}{{2at}}} \right)\Phi {\kern 1pt} *\left( {\frac{x}{{2\sqrt {at} }}} \right) - \frac{x}{{\sqrt {2at} }}\exp \left( { - \frac{{{{x}^{2}}}}{{4at}}} \right)}}{{(1 - {{\gamma }^{2}})\sqrt {\pi {\text{/}}2} \Phi {\kern 1pt} *(\gamma {\text{/}}\sqrt 2 ) - \gamma \exp ( - {{\gamma }^{2}}{\text{/}}4)}}. \\ \end{gathered} $

Изложенный прием дает возможность получить более значимый результат, а именно функцию Грина первой краевой задачи для уравнения (71). Опуская длительные выкладки, приведем конечный результат

$\begin{gathered} G\left( {x,t,x{\kern 1pt} ',\tau } \right) = - \frac{{{{{\text{e}}}^{{\frac{1}{{8a}}\left( {\frac{{x{\kern 1pt} {{'}^{2}}}}{\tau } - \frac{{{{x}^{2}}}}{t}} \right)}}}}}{{2\sqrt {a\pi \tau } }}\sum\limits_{n = 1}^\infty {\Gamma \left( {{{p}_{n}} + 1} \right) \times } \\ \times \,\,\frac{{{{D}_{{ - {{p}_{n}} - 1}}}\left( { - \frac{\beta }{{\sqrt {2a} }}} \right)}}{{\frac{\partial }{{\partial p}}{{{\left[ {{{D}_{{ - p - 1}}}\left( {\frac{\beta }{{\sqrt {2a} }}} \right)} \right]}}_{{p = {{p}_{n}}}}}}}{{D}_{{ - {{p}_{n}} - 1}}}\left( {\frac{{x{\kern 1pt} '}}{{\sqrt {2a\tau } }}} \right){{D}_{{ - {{p}_{n}} - 1}}}\left( {\frac{x}{{\sqrt {2at} }}} \right){{\left( {\frac{t}{\tau }} \right)}^{{\frac{{{{p}_{n}}}}{2}}}}, \\ \end{gathered} $
где pn — нецелые корни уравнения ${{D}_{{ - {{p}_{n}} - 1}}}\left( { - \frac{\beta }{{\sqrt {2a} }}} \right) = 0$.

В таблице приводятся полученные численными методами нецелые корни уравнения ${{D}_{{ - p - 1}}}\left( z \right) = 0$ при различных фиксированных значениях аргумента z функции параболического цилиндра.

Значения нецелых корней уравнения ${{D}_{{ - p - 1}}}\left( z \right) = 0$

pn при z = 0.5 pn при $z = 1{\text{/}}\sqrt 2 $
–2.4486867 –2.6643553
–4.6490658 –4.9479469
–6.7988093 –7.1597082
–8.9235111 –9.3360379
–11.0326029 –11.4902931
–13.1307779 –13.6291133
–15.2207688 –15.7563625
–17.3043307 –17.8745224
–19.3826696 –19.9852978
–21.4566563 –22.0899199

ЗАКЛЮЧЕНИЕ

Несмотря на кажущуюся простоту математических моделей нестационарного теплопереноса в областях с движущими во времени границами, приведенные задачи являются далеко не тривиальными для получения их точного аналитического решения. Практически изучены простейшие случаи для линейного, параболического (корневого), квадратичного законов движения границы, хотя и для этих случаев (в декартовой системе координат) аналитическая теория теплопроводности находится лишь в начале своего развития. Что касается более сложных законов движения границы как в декартовой, так и в цилиндрической (радиальный поток) и сферической (центральная симметрия) системах координат, то в [1] намечены лишь возможные пути изучения теплопереноса в такого рода областях, и предстоит большая работа по нахождению аналитических решений соответствующих задач теплопроводности, изучению свойств этих решений и построению температурных номограмм. Как показывает анализ литературных источников в [1], при решении такого рода задач возникает большой круг проблем вычислительной математики, теории специальных функций, методов математической физики. Ситуация еще более усложняется при переносе движения границ на краевые задачи нестационарной теплопроводности для уравнений гиперболического типа на основе гипотезы А.В. Лыкова о конечной скорости распространения тепла [911], на деформируемые среды с учетом эффекта связанности поля температуры и деформаций в уравнении теплопроводности [12], на задачи напыления высокотемпературного теплозащитного покрытия [13] и др. Указанные случаи представляют собой практически не разработанную область аналитической теории теплопроводности твердых тел.

Список литературы

  1. Карташов Э.М. Аналитические методы решения краевых задач нестационарной теплопроводности в областях с движущимися границами (Обзор, посвященный 275-летию АН СССР) // ИФЖ. 2001. Т. 74. № 2. С. 171.

  2. Карташов Э.М. Аналитические методы в теории теплопроводности твердых тел. М.: Высшая школа, 2001. 540 с.

  3. Лыков А.В. Некоторые аналитические методы решения задач нестационарной теплопроводности (Обзор) // Изв. АН СССР. Энергетика и транспорт. 1969. № 2. С. 3.

  4. Положий Г.Н. Уравнения математической физики. М.: Высшая школа, 1964. 560 с.

  5. Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и квазилинейные уравнения параболического типа. М.: Наука, 1967. 736 с.

  6. Масленникова В.Н. Дифференциальные уравнения в частных производных. М.: Изд-во РУДН, 1997. 446 с.

  7. Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Наука, 1966. 724 с.

  8. Карташов Э.М., Кудинов В.А. Аналитическая теория теплопроводности и прикладной термоупругости. М.: URSS, 2012. 656 с.

  9. Лыков А.В. Применение методов термодинамики необратимых процессов к исследованию тепло- и массообмена // ИФЖ. 1965. Т. 9. № 3. С. 287.

  10. Карташов Э.М. Оригиналы операционных изображений для обобщенных задач нестационарной теплопроводности // Тонкие химические технологии. 2019. Т. 14. № 24. С. 77.

  11. Формалев В.Ф. Уравнения математической физики. М.: URSS, 2020. 646 с.

  12. Колпащиков В.А., Яновский С.Ю. Связанная динамическая задача термоупругости для полупространства с учетом тепловой памяти // ИФЖ. 1979. Т. 36. № 6. С. 1093.

  13. Формалев В.Ф., Дегтяренко Р.А., Гарибян Б.А., Колесник С.А. Моделирование тепломассопереноса при периодическом напылении высокотемпературного теплозащитного покрытия // ТВТ. 2021. Т. 59. № 4. С. 566.

Дополнительные материалы отсутствуют.