Аннотация:
Предложена система уравнений с квадратичной нелинейностью относительно потенциала электрического поля и температуры, описывающая процесс нагрева полупроводниковых элементов электрической платы, причем с течением времени возможно возникновение теплового и электрического “пробоев”. Для данной системы уравнений доказано существование непродолжаемого во времени классического решения, а также получены достаточные условия глобальной во времени однозначной разрешимости.
Ключевые слова:
нелинейные уравнения соболевского типа, разрушение, blow-up, локальная разрешимость, нелинейная емкость, оценки времени разрушения.
Современные радиоинформационные системы, решающие задачи мониторинга космического пространства, характеризуются большим числом плотно расположенной радиоэлектронной аппаратуры, непрерывным функционированием в течение длительного времени, а также высокими требованиями к надежности. При работе структурно сложной радиоинформационной системы в теплонапряженных режимах резко возрастает тепловыделение в радиоэлектронной аппаратуре за счет высокой токовой нагрузки. Повышение тепловыделения влечет за собой перегрев аппаратуры и, как следствие, снижение надежности изделия [1], а также увеличение вероятности отказов аппаратуры. Данные обстоятельства обуславливают необходимость исследования нелинейных тепловых процессов в полупроводнике, а также построения и изучения тепло-электрической модели полупроводника.
В настоящей статье приведены результаты теоретических исследований по обоснованию глобальной во времени разрешимости классических решений системы дифференциальных уравнений для потенциала электрического поля ϕ(x,t) и температуры ψ(x,t).
Данная работа продолжает исследования, начатые в работах [2]–[5] и посвященные исследованию начально-краевых задач для локальных и нелокальных уравнений с нелинейным градиентом. В работе [5] мы рассмотрели следующую систему уравнений (см. [6]–[9]):
∂∂tΔϕ+σ0Δϕ−γ0Δψ=0,ε0∂ψ∂t=Δψ+q0|Dxϕ|p,
где ϕ – потенциал электрического поля, ψ – температура,
σ0=4πσε,γ0=4πγε,
причем ε0>0, σ0>0, γ0>0, q0>0 и p>1. В работе [5] результат о разрушении был получен фактически только при p>2, хотя вопрос о существовании непродолжаемого во времени классического решения был решен при p>1. Поэтому вопрос о разрушении при p=2 остался открытым. В этой работе мы рассмотрели несколько иную систему уравнений, которая в бо́льшей степени отражает физику процесса теплового “разогрева” и содержит квадратичную нелинейность, причем эта система уравнений имеет следующее дифференциальное следствие:
ε0ε4π∂2ϕ∂t2+∂∂t(−ε4πΔϕ+ε0σϕ)−σΔϕ=εγ8π∂∂t|Dxϕ|2.
В настоящей работе мы показали, что при σ=0, т. е. в случае диэлектрика, тепловой разогрев не приводит к возникновению теплового или электрического пробоя, а решение задачи существует глобально во времени вне зависимости от начальных распределений электрического потенциала ϕ0(x) и температуры ψ0(x).
2. Вывод системы уравнений
Вывод системы уравнений имеется в работе [2]. Именно там получена система уравнений, описывающая тепловые и электрические явления в полупроводниковых приборах, из-за которых полупроводниковые элементы на платах греются и происходит тепловой “пробой”. Для полноты изложения приведем вывод рассматриваемой системы уравнений. В отличие от работы [2] в настоящей работе рассматривается изотропная среда. В приближении квазистационарного электрического поля справедливы следующие уравнения (см. [9]):
divD=−4πn,rotE=0,D=εE,
где D – вектор индукции электрического поля, E – вектор напряженности электрического поля, n – плотность свободных зарядов, причем в случае поверхностной односвязности границы Γ определен потенциал электрического поля ϕ:
E=−∇ϕ.
Поскольку полупроводник, очевидно, является проводящей средой, мы должны дополнить систему (1) уравнением для тока свободных зарядов, которое имеет вид [9]
∂n∂t=divJ,
где J – вектор тока свободных зарядов. При этом учтем тепловой разогрев полупроводника [6], [7]:
J=σE−γ∇ψ,σ⩾0,γ⩾0,
где ψ – температура в полупроводнике. Для температуры ψ имеет место уравнение теплопроводности с тепловым нагревом за счет электрического поля E [6]:
ε0∂ψ∂t=△ψ+(J,E),
где параметр ε0>0 имеет вид
ε0=ε1e−α
и ε1>0 – фиксированное число, а параметр α>0 достаточно велик. Из уравнений (1), (2) вытекает следующая система уравнений:
ε4π∂∂tΔϕ+σΔϕ+γΔψ=0,
ε0∂ψ∂t=Δψ+σ|Dxϕ|2+γ(Dxϕ,Dxψ).
Относительно коэффициентов в системе уравнений (3), (4) будем предполагать, что
ε>0,σ⩾0,γ⩾0,ε0>0.
3. Обозначения и вспомогательные результаты
Предположим, что Ω⊂R3 – ограниченная выпуклая область с поверхностно односвязной границей Γ∈C2,α при α∈(0,1]. Мы будем пользоваться стандартными обозначениями из работы [10]. Отметим только, что символом C(1,0)(¯DDT) мы обозначили линейное пространство функций
Для доказательства представления (8) достаточно применить третью формулу Грина (см., например, [11]) к функции ψ(x,t)−χ(t)ψ0(x). Заметим, что в работе [12] приведены мажоранты для производных функции Грина следующего вида:
и пара функций \{\phi(x,t),\psi(x,t)\} удовлетворяют задаче (10)–(12) поточечно.
Справедливо следующее утверждение.
Лемма 4. В классе классических решений \{\phi(x,t),\psi(x,t)\} при условии согласования \phi_0(x)=0=\psi_0(x) для всех x\in\Gamma и \phi_0(x)\in{C}^{2+\alpha}(\overline{\Omega}) задача (10)–(12) эквивалентна следующей задаче:
Доказательство. Заметим только, что если \psi(x,t)\in{C}^{1+\alpha/2,2+\alpha}( \kern1.8pt\overline{\vphantom{D}\kern6.4pt}\kern-8.0pt D\kern0.2pt _T) и u_0(x)\in{C}^{2+\alpha}(\overline{\Omega}), то функция \phi(x,t), определенная равенством (13), принадлежит классу
и для нее справедливы поточечные равенства (10)–(12).
Справедлива следующая
Лемма 5. Если \psi_0(x)\geqslant 0, то в классе \psi(x,t),\phi(x,t)\in{C}^{(2,1)}({D}_T\cup B_T)\cap{C}( \kern1.8pt\overline{\vphantom{D}\kern6.4pt}\kern-8.0pt D\kern0.2pt _T) имеем \psi(x,t)\geqslant 0 для всех (x,t)\in \kern1.8pt\overline{\vphantom{D}\kern6.4pt}\kern-8.0pt D\kern0.2pt _T.
Доказательство. Доказательство основано на признаке сравнения для дифференциального неравенства
Теорема 2. Для любых \psi_0(x)\in{C}^{(2)}(\overline{\Omega}), \phi_0(x)\in{C}^{(1)}(\overline{\Omega}) и \chi(t)\in{C}^{(1)}_b[0,+\infty) найдется такое малое T>0, что существует единственное решение интегрального уравнения (15) в классе {C}^{(1,0)}( \kern1.8pt\overline{\vphantom{D}\kern6.4pt}\kern-8.0pt D\kern0.2pt _T).
Доказательство. Доказательство основано на применении принципа сжимающих отображений и теореме 1.
Используя стандартный алгоритм продолжения решений интегральных уравнений типа Вольтерра во времени (см., например, [14]), получим следующий результат.
Теорема 3. Для любых \psi_0(x)\in{C}^{(2)}(\overline{\Omega}), \phi_0(x)\in{C}^{(1)}(\overline{\Omega}) и \chi(t)\in{C}^{(1)}_b[0,+\infty) найдется такое максимальное T_0=T_0(\phi_0,\psi_0,\chi)>0, что для любого T\in(0,T_0) существует единственное решение интегрального уравнения (15) в классе {C}^{(1,0)}( \kern1.8pt\overline{\vphantom{D}\kern6.4pt}\kern-8.0pt D\kern0.2pt _T), причем либо T_0=+\infty, либо T_0<+\infty, и в последнем случае справедливо предельное свойство
Теорема 4. Для любых \psi_0(x)\in{C}^{2+\alpha}(\overline{\Omega}), \phi_0(x)\in{C}^{2+\alpha}(\overline{\Omega}) при \alpha\in(0,1] и \chi(t)\in{C}^{(2)}_b[0,+\infty) оператор \hat{G} на решениях интегрального уравнения (15) действует как
Таким образом, из теоремы 4 с учетом теоремы 3 вытекает следующее утверждение (см. [5]).
Теорема 5. Для любых \psi_0(x),\phi_0(x)\in{C}^{2+\alpha}(\overline{\Omega}) при \alpha\in(0,1], \chi(t)\in{C}^{(2)}_b[0,+\infty) при выполнении условий согласования \phi_0(x)=0=\psi_0(x) для всех x\in\Gamma найдется такое максимальное T_0=T_0(\phi_0,\psi_0,\chi(t))>0, что существует единственное классическое решение задачи (10)–(12) для любого T\in(0,T_0), причем либо T_0=+\infty, либо T_0<+\infty, и в последнем случае выполнено предельное свойство (19).
7. Глобальная во времени разрешимость при \sigma=0
Рассмотрим систему уравнений (3), (4). Теорема 5, как нетрудно заметить, доказана при выполнении условий (5). Пусть \{\phi(x,t),\psi(x,t)\} – классическое решение первой краевой задачи (10)–(12) для произвольного T\in(0,T_0). Тогда имеет место система уравнений (13), (14), из которой вытекают, в частности, равенства
Лемма 9. В классе классических решений система уравнений (10)–(12) эквивалентна уравнениям (20) и (22) при выполнении граничных условий (11) и (12), причем выполнено условие согласования (23).
Уравнение третьего порядка (22) является уравнением псевдопараболического типа (см., например, [15], [16]). Рассмотрим случай, когда \sigma=0. В этом случае получим следующее уравнение:
Теорема 6. Если \sigma=0 и \phi_0(x),\psi_0(x)\in{C}^{2+\alpha}(\overline{\Omega}), причем выполнены условия \phi_0(x)=0=\psi_0(x) для всех x\in\Gamma, то существует единственное глобальное во времени классическое решение задачи (10)–(12), причем для любого T>0 справедливы следующие оценки:
где постоянные m_1, M_1 и M_2 определены равенствами (30), (32) и (37) соответственно.
Доказательство. Доказательство основано на оценках (36) и (29), (31), из которых и из теоремы 5 в силу равенства (20) вытекает, что T_0=+\infty.
Замечание 1. Отметим, что в работе [5] получен результат о разрушении за конечное время близкой системы уравнений при условии, что проводимость \sigma>0 и достаточно велика. Из оценок (38) и (39) вытекает, что если \sigma=0, то при \psi_0(x)\equiv 0 единственным классическим решением задачи (10)–(12) будет решение
Авторы заявляют, что у них нет конфликта интересов.
Список литературы
1.
А. В. Тимошенко, Д. В. Калеев, А. Ю. Перлов, В. М. Антошина, Д. В. Рябченко, “Сравнительный анализ аналитических и эмпирических методик оценки текущих параметров надежности радиолокационных комплексов мониторинга”, Изв. вузов. Электроника, 25:3 (2020), 244–254
2.
М. О. Корпусов, “О разрушении решения уравнения, родственного уравнению Гамильтона–Якоби”, Матем. заметки, 93:1 (2013), 81–95
3.
М. О. Корпусов, “О разрушении решения нелокального уравнения с градиентной нелинейностью”, Вестн. ЮУрГУ. Сер. Матем. моделирование и программирование, 11 (2012), 45–53
4.
М. О. Корпусов, А. А. Панин, А. Е. Шишков, “О критическом показателе “мгновенное разрушение” versus “локальная разрешимость” в задаче Коши для модельного уравнения соболевского типа”, Изв. РАН. Сер. матем., 85:1 (2021), 118–153
5.
М. О. Корпусов, А. Ю. Перлов, А. В. Тимошенко, Р. С. Шафир, Р. С. Шафир, “О разрушении решения одной нелинейной системы уравнений тепло-электрической модели”, Матем. заметки, 114:5 (2023), 759–772
6.
Ф. Г. Басс, В. С. Бочков, Ю. С. Гуревич, Электроны и фононы в ограниченных полупроводниках, Наука, М., 1984
7.
В. Л. Бонч-Бруевич, С. Г. Калашников, Физика полупроводников, Наука, М., 1990
8.
В. Л. Бонч-Бруевич, И. П. Звягин, А. Г. Миронов, Доменная электрическая неустойчивость в полупроводниках, Наука, М., 1972
9.
Л. Д. Ландау, Е. М. Лифшиц, Теоретическая физика, т. VIII, Электродинамика сплошных сред, Физматлит, М., 2005
10.
Н. В. Крылов, Лекции по эллиптическим и параболическим уравнениям в пространствах Гельдера, Научная книга, Новосибирск, 1998
11.
А. Фридман, Уравнения с частными производными параболического типа, Мир, М., 1968
12.
О. А. Ладыженская, В. А. Солонников, Н. Н. Уральцева, Линейные и квазилинейные уравнения параболического типа, Наука, М., 1967
13.
В. Погожельский, “Исследование интегралов параболического уравнения и краевых задач в неограниченной области”, Матем. сб., 47(89):4 (1959), 397–430
14.
А. А. Панин, “О локальной разрешимости и разрушении решения абстрактного нелинейного интегрального уравнения Вольтерра”, Матем. заметки, 97:6 (2015), 884–903
15.
Г. А. Свиридюк, “К общей теории полугрупп операторов”, УМН, 49:4(298) (1994), 47–74
16.
А. Г. Свешников, А. Б. Альшин, М. О. Корпусов, Ю. Д. Плетнер, Линейные и нелинейные уравнения соболевского типа, Физматлит, М., 2007
17.
А. А. Самарский, В. А. Галактионов, С. П. Курдюмов, А. П. Михайлов, Режимы с обострением в задачах для квазилинейных параболических уравнений, Наука, М., 1987
Образец цитирования:
М. О. Корпусов, А. Ю. Перлов, А. В. Тимошенко, Р. С. Шафир, “О глобальной во времени разрешимости одной нелинейной системы уравнений тепло-электрической модели с квадратичной нелинейностью”, ТМФ, 217:2 (2023), 378–390; Theoret. and Math. Phys., 217:2 (2023), 1743–1754
\RBibitem{KorPerTym23}
\by М.~О.~Корпусов, А.~Ю.~Перлов, А.~В.~Тимошенко, Р.~С.~Шафир
\paper О глобальной во времени разрешимости одной нелинейной системы уравнений тепло-электрической модели с~квадратичной нелинейностью
\jour ТМФ
\yr 2023
\vol 217
\issue 2
\pages 378--390
\mathnet{http://mi.mathnet.ru/tmf10520}
\crossref{https://doi.org/10.4213/tmf10520}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4670396}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2023TMP...217.1743K}
\transl
\jour Theoret. and Math. Phys.
\yr 2023
\vol 217
\issue 2
\pages 1743--1754
\crossref{https://doi.org/10.1134/S0040577923110090}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85177655959}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tmf10520
https://doi.org/10.4213/tmf10520
https://www.mathnet.ru/rus/tmf/v217/i2/p378
Эта публикация цитируется в следующих 8 статьяx:
М. В. Артемьева, М. О. Корпусов, А. А. Панин, “К вопросу о разрешимости задачи Коши одной тепло-электрической модели”, ТМФ, 222:2 (2025), 217–232; M. V. Artemeva, M. O. Korpusov, A. A. Panin, “On the solvability of the Cauchy problem for a thermal–electrical model”, Theoret. and Math. Phys., 222:2 (2025), 183–197
М. В. Артемьева, М. О. Корпусов, “О существовании непродолжаемого решения задачи Коши одной (1+1)-мерной тепло-электрической модели”, Матем. заметки, 115:5 (2024), 645–657; M. V. Artemeva, M. O. Korpusov, “On the Existence of a Nonextendable Solution of the Cauchy problem for a (1+1)-Dimensional Thermal-Electrical Model”, Math. Notes, 115:5 (2024), 653–663
М. В. Артемьева, М. О. Корпусов, “О разрушении решения одной (1+1)-мерной тепло-электрической модели”, ТМФ, 219:2 (2024), 249–262; M. V. Artemeva, M. O. Korpusov, “On the blow-up of the solution of a (1+1)-dimensional thermal–electrical model”, Theoret. and Math. Phys., 219:2 (2024), 748–760
M. O. Korpusov, R. S. Shafir, A. K. Matveeva, “Numerical Diagnostics of Solution Blow-Up in a Thermoelectric Semiconductor Model”, Comput. Math. and Math. Phys., 64:7 (2024), 1595
M. V Artemeva, M. O Korpusov, “THE CAUCHY PROBLEM FOR AN NONLINEAR WAVE EQUATION”, Differencialʹnye uravneniâ, 60:10 (2024), 1299
М. В. Артемьева, М. О. Корпусов, “О существовании непродолжаемого решения задачи Коши одной (3+1)-мерной тепло-электрической модели”, ТМФ, 221:3 (2024), 702–715; M. V. Artemeva, M. O. Korpusov, “On the existence of a nonextendable solution of the Cauchy problem for a (3+1)-dimensional thermal–electrical model”, Theoret. and Math. Phys., 221:3 (2024), 2207–2218
М. О. Корпусов, Р. С. Шафир, А. К. Матвеева, “Численная диагностика разрушения решения одной тепло-электрической модели полупроводника”, Ж. вычисл. матем. и матем. физ., 64:7 (2024), 1314–1322; M. O. Korpusov, R. S. Shafir, A. K. Matveeva, “Numerical diagnostics of solution blow-up in a thermoelectric semiconductor model”, Comput. Math. Math. Phys., 64:7 (2024), 1595–1602
M. V. Artemeva, M. O. Korpusov, “The Cauchy Problem for a Nonlinear Wave
Equation”, Diff Equat, 60:10 (2024), 1369