Математика
УДК 519.63
Об одной вспомогательной нелинейной краевой задаче в теории сверхпроводимости Гинзбурга—Ландау и её множественных решениях
Н. Б. Конюхова, А. А. Шеина
ФИЦ ИУ РАН, Москва, Россия
Проводятся аналитико-численные исследования однородной нелинейной краевой задачи для обыкновенного дифференциального уравнения второго порядка с кубической нелинейностью и двумя вещественными параметрами, возникающей в теории сверхпроводимости Гинзбурга—Ландау. Множественные нетривиальные решения этой задачи, зависящие от указанных параметров, выражаются через эллиптические функции Якоби и описывают стационарные состояния (вблизи критических значений температур) сверхпроводящей бесконечной пластины конечной толщины в отсутствие магнитного поля. Задача является «вырожденной» по отношению к исходной нелинейной краевой задаче для сверхпроводящей пластины в магнитном поле и важна для построения алгоритма нахождения всех решений последней в широком диапазоне изменения параметров; изучаемая задача представляет и самостоятельный математический интерес.
Ключевые слова: теория сверхпроводимости Гинзбурга—Ландау, стационарные состояния сверхпроводящей пластины в отсутствие магнитного поля, нелинейное обыкновенное дифференциальное уравнение второго порядка, однородная краевая задача и её множественные решения
1. Введение. О нелинейной краевой задаче для сверхпроводящей пластины в магнитном поле
Макроскопическая теория сверхпроводимости Гинзбурга-Ландау (ГЛ) [1] широко применяется для описания состояний сверхпроводников в магнитных полях вблизи критических значений температур (см., например, [2-4] и цитированную там литературу). В [2], в частности, приведена известная история экспериментального открытия явления сверхпроводимости и описаны первые попытки (менее успешные, чем в [1]) создания теории этого явления.
По современным представлениям в сверхпроводниках, как и в сверхтекучих жидкостях, частицы ведут себя упорядоченно, образуя одну большую квантово-механи-ческую волну (КМВ), и благодаря этому сверхпроводники переносят электричество без сопротивления. Такая большая КМВ описывается «эффективной волновой функцией» [1], которую также называют «параметром порядка»; квадрат этой функции задаёт концентрацию «сверхпроводящих электронов», т.е. отношение числа упорядоченных электронов, образующих единую КМВ, к общему числу электронов в сверхпроводнике.
Одной из интенсивно изучаемых задач теории сверхпроводимости ГЛ является одномерная нелинейная краевая задача (КрЗ), которая описывает стационарные состояния сверхпроводящей бесконечной пластины конечной толщины, помещённой в магнитное поле, направленное вдоль пластины. В безразмерных переменных, введённых в [3] (см. также [5]), эта задача для симметричных решений имеет вид:
а" - гф2а = 0, ф" + к2(ф - ф3) - а2гф = 0, 0 < ж < Д (1)
Статья поступила в редакцию 27 апреля 2016 г.
Авторы благодарят С.В. Курочкина за полезные замечания.
а(0) = 0, ^'(0) = 0, а'(Б) = Л, ф' (Б) = 0.
(2)
Здесь все величины вещественны; И, Л и к - безразмерные положительные параметры: Б - полуширина пластины, Л - напряжённость магнитного поля, к - параметр теории ГЛ, характеризующий материал сверхпроводника и меняющийся в широком диапазоне; а(х) - потенциал магнитного поля, ф(х) - эффективная волновая функция, характеризующая КМВ сверхпроводящих электронов в пластине, где величина ф2(х) равна концентрации в ней таких электронов:
(по сравнению с [1], как и в [3,5], введена другая нормировка Л: Л = Лськ, так что а = аськ, и выбрана другая ориентация пластины в магнитном поле).
Случай ф = 0 соответствует нормальной фазе (п-фазе) состояния пластины, а случай ф = 0 - сверхпроводящей фазе (в-фазе) её состояния. КрЗ (1), (2) разрешима: при любом Л она имеет по крайней мере одно решение {а(х),ф(х)} = {Лх, 0}, которое при Л > 0 является единственным п-решением этой задачи; «физическое» ограничение (3) выполняется для всех решений КрЗ (1), (2) У к = 0. Интерес, в частности, представляют фазовые переходы 8 ^ п и п ^ 8 для разных значений параметров задачи в режимах усиления или ослабления магнитного поля. Такие переходы описываются с помощью бифуркационных диаграмм состояний - зависимостей от величины магнитного поля значений параметра порядка в центре или на краю пластины (и/или значений других физических величин - типа намагниченности пластины, см. [3,5]).
Под основным состоянием пластины в магнитном поле понимается такое, при котором параметр порядка (как функция поперечной координаты) не меняет знак на ширине пластины, т.е. удовлетворяет более сильному ограничению по сравнению с выражением (3):
(задача (1), (2) с ограничением (4) относится к задачам типа Кнезера).
В [3] (см. также другие статьи автора, цитируемые в [3,4]) содержится подробное изложение физических представлений автора об основных состояниях сверхпроводящей пластины в магнитном поле; во многом они основаны на численных исследованиях задачи (1), (2), (4). Однако, как подробно поясняется в [5], в этих достаточно многочисленных статьях использовался неудачный численный метод, что привело к получению в них неполных разрывных диаграмм состояний (по признанию автора [3], вид таких диаграмм подвергался сомнениям со стороны В.Л. Гинзбурга, так как противоречил его физической интуиции).
Правильные диаграммы были получены в [5] с помощью другого подхода, предложенного и реализованного группой соавторов-математиков. А именно, в [5,6] представлены достаточно подробные аналитико-численные исследования множественных решений задачи (1), (2), (4): предложен простой численный метод нахождения всех таких решений в широком диапазоне изменения параметров задачи, в том числе получены не найденные ранее другими методами динамически неустойчивые и неизолированные решения; построены более подробные и точные непрерывные диаграммы состояний пластины, описывающие её переход из сверхпроводящей фазы в нормальную (и наоборот) при усилении (ослаблении) магнитного поля, что позволило детально изучить явление магнитного гистерезиса и эволюцию диаграмм с изменением параметров, и др.; поставлены и изучены спектральные задачи для исследования динамической (не)устойчивости решений в рамках линейной теории возмущений и для априорного нахождения пороговых значений магнитного поля.
К сожалению, автору [3] (а затем и всей группе соавторов [5]) не были известны результаты многочисленных работ математиков по изучению задачи (1), (2), (4)
0 < ф2(х) < 1 Ух е [0,С]
(3)
0 < ф(х) < 1 Ух е [0,Б]
(4)
(поток математических статей продолжается до сих пор), в том числе интересной работы [7], предвосхитившей подход [5] к решению этой задачи. В [7], в частности, доказано строго, что бифуркационная кривая должна быть непрерывна. Более детально некоторые результаты [7] будут обсуждаться нами в другой работе.
Для наших исследований важно, что как математический, так и, возможно, физический интерес (см., например, [8]) представляют и другие решения нелинейной КрЗ (1), (2), отвечающие «возбуждённым» сверхпроводящим состояниям пластины в магнитном поле, когда параметр порядка меняет знак на ширине пластины или плёнки. Такие решения ещё более затруднительно находить итерационными методами типа релаксации [3]: в [8] при попытках находить такие решения алгоритм их вычислений не приводится (по утверждению автора, ввиду его сложности). Согласно [8], хотя основные состояния пластины считаются наиболее реализуемыми в эксперименте, вопрос о роли других решений и других возможностях, вообще говоря, остаётся неизученным. В частности, в [8] сделано важное замечание: нигде не доказано, что решения общей одномерной КрЗ ГЛ должны быть симметричными, и следует изучать ОДУ (1) на интервале (-И, И) с более общими условиями
Поиску асимметричных решений КрЗ (1), (5) посвящено большое число современных математических работ, авторы которых ссылаются на гипотезы [8], на чем здесь останавливаться не будем. Отметим только, что КрЗ (1), (5) имеет уже континуум п-решений {а(х),ф(х)} = {Н(х + с), 0}, где с - произвольная постоянная, причём при с = 0 эти решения являются асимметричными.
Целью данной работы является математическое и численное исследование вспомогательной «вырожденной» однородной нелинейной КрЗ, нетривиальные решения которой описывают возможные стационарные состояния (вблизи критических значений температур) сверхпроводящей бесконечной пластины конечной толщины в отсутствие магнитного поля. Эта задача для параметра порядка, которая получается из (1), (2) при Н = 0, а = 0, важна, в частности, для анализа и численных исследований множественных решений исходной нелинейной неоднородной КрЗ (1), (2). Она представляет и самостоятельный математический интерес.
2. Нелинейная краевая задача для сверхпроводящей пластины в отсутствие магнитного поля
2.1. Постановка задачи и предварительные сведения
При Н = 0, когда будет а(х) = 0, КрЗ (1), (2) приобретает вид:
Зафиксируем некоторые достаточно очевидные свойства решений этой задачи.
Предложение 1. Следующие утверждения справедливы для однородной нелинейной КрЗ (6), (7) при фиксированных значениях параметров к =0 и И > 0: 1) задача разрешима - она имеет по крайней мере три постоянных решения,
а' (±Б) = Н, ф'(±Б) = 0.
(5)
ф" + к2(ф - ф3) = 0, 0 < ж < Б, ф' (0) = 0, ф' (Б) = 0.
(6) (7)
ф± = ±1, фгега = 0;
2) если ф(х) - решение задачи, то -ф(х) - тоже решение;
3) любое решение ф(х) КрЗ (6), (7) удовлетворяют ограничению
0 < ф2(х) < 1 Ух е [0,С] (9)
и соотношению
Б
1^(8) (1 - ф2(з)) = 0. (10)
0
Для определённости далее рассматриваем те нетривиальные решения ф(х, к, И) КрЗ (6), (7), для которых будет
ф(0, к,Б) = фо(к,Б) > 0. (11)
Пусть при фиксированных значениях к = 0 и И > 0 функция ф(х, к, И) есть решение нелинейной КрЗ (6), (7), которую линеаризуем на этом решении. Получим линейную однородную КрЗ относительно малого возмущения т(х) решения ф(х, к, Б):
ю" + к2 (1 - 3ф2(х, к, Б)) ю = 0, 0 < ж < Б, ю'(0) = ю'(Б) = 0. (12)
Тогда, следуя [9], введём следующее определение.
Определение 1. Пусть ф(х, к, Б) - решение однородной нелинейной КрЗ (6), (7) при фиксированных значениях параметров к = 0 и Б > 0. Это решение называем изолированным тогда, и только тогда, когда сопутствующая линейная однородная КрЗ (12) имеет только тривиальное решение; в противном случае ф(х, к, Б) -неизолированное решение нелинейной КрЗ (6), (7).
В частности, полагая ф(х, к, Б) = = 1, получим из (12) КрЗ
ю" - 2 к2 ю = 0, 0 < ж < Б, ю'(0) = ю'(Б) = 0, (13)
которая при любом к = 0 имеет только тривиальное решение (то же для ф(х, к, Б) = ф- = -1), так что решения ф± = ±1 - изолированные решения КрЗ (6), (7) при любом к = 0.
Замечание 1. Как известно, изолированное решение нелинейной КрЗ для ОДУ, вообще говоря, можно найти итеративными методами (например, методом квазилинеаризации), исходя из достаточно хорошего начального приближения.
Замечание 2. Нелинейная КрЗ (6), (7), зависящая от двух параметров к и Б, сводится к аналогичной КрЗ на интервале (0,1) с одним параметром р = кБ заменой независимой переменной хпеж = х/Б. Как следствие, именно этот параметр играет далее наиболее важную роль.
В соответствии с понятием бифуркации (см., например, [10]) и с учётом Замечания 2 введём следующее определение.
Определение 2. В пространстве параметров (к, Б) точка (к0, Б0) тогда, и только тогда, является точкой бифуркации нелинейной КрЗ (6), (7), определяя для неё критическое значение параметра бифуркации р0 = к0Б0, когда существует неизолированное решение ф(х, к0,Б0) этой задачи.
О неизолированности тривиального решения и критических значениях параметра бифуркации. Как известно (см., например, [11]), при наличии трёх постоянных решений (8) следует, вообще говоря, ожидать существование других решений КрЗ (6), (7), меняющих знак на интервале (0,D). Наличие таких решений и их количество зависят от величины параметра р = kD > 0. А именно, полагая ф(х, к, D) = ^2его = 0, получим из (12) вспомогательную линейную однородную КрЗ на отыскание собственных значений (СЗ) и собственных функций (СФ) дискретного спектра:
w" + к2 w = 0, 0 < ж < D, w'(0) = 0, w'(D) = 0. (14)
КрЗ (14) имеет счётный набор СЗ к = к(D) : К(D) = (nl/D)2, I = 1.2,.... Учитываем положительные СЗ
ki(D) = -KI/D, I = 1, 2,..., (15)
каждому из которых отвечает СФ
wi (x) = wi(x, D) = cos (kIx/D), I = 1,2,..., (16)
для определённости нормированная требованием wi(0) = 1; она имеет ровно I нулей на интервале (0,D).
Тогда тривиальное решение нелинейной однородной КрЗ (6), (7) является её неизолированным решением при значениях параметров к и D, удовлетворяющих соотношению (15), а СЗ (15) определяют критические значения параметра бифуркации р = kD > 0 нелинейной КрЗ (6), (7). (Этот факт, вообще говоря, можно получить из общей спектральной теории линейных операторов: простые СЗ линейной КрЗ, полученной линеаризацией нелинейной КрЗ на её частном решении, являются точками бифуркации исходной нелинейной КрЗ.)
Отсюда, учитывая ограничение (11), получаем, что при
kD : < kD < (I + 1) к, 1 < I - целое число, (17)
следует ожидать существования I узловых решений ^(s)(x) (s = 1,... ,1) нелинейной КрЗ (6), (7), таких, что ^(s)(x) имеет ровно s нулей на (0,D); им должны отвечать значения ^(s)(0) = ^qS), где
0 <ф(0° <ф(01-1) <...<41} < 1; (18)
это подтверждается как последующими рассуждениями, так и в вычислениях.
Из (6), (7) следует соотношение (10), которое влечёт симметрию (антисимметрию) решений КрЗ (6), (7) относительно прямой ж = И/2 с чётным (нечётным) числом узлов на (0,И). Нетрудно также проверить справедливость соотношения
D
^(ж)^(ч)(ж)
(У^(ж)) - (V(ч)(х))2
dx = 0,
(19)
где = 0,1,... ,1 (при з = 0 или = 0 подразумеваются решения (8)).
Учитывая для строгости сведения, приведённые далее в подразделе 2, окончательно получим, что справедливо
Предложение 2. При выполнении условия
0 < kD < к
(20)
однородная нелинейная КрЗ (6), (7) не имеет других решений, кроме постоянных (8). При выполнении условий (17) нелинейная КрЗ (6), (7), наряду с решениями (8), имеет ещё 21 решений ±ф(в)(х) (в = 1,... ,1), таких, что ф(з\х) имеет ровно 8 нулей на (0,Б).
Об энергетической (не)устойчивости постоянных решений. ОДУ (6) является уравнением Лагранжа-Эйлера для неотрицательно определённого функционала
Е(к,Б) = I \Wglh(Ф, к)(х) + ф'2(х)/2~\ Ох, (21)
-о
где WGLH - потенциал Гинзбурга-Ландау-Хиггса (ГЛХ), или потенциал «самодействия» поля ф (см. рис. 1):
WGLн(ф, к) = к2 (ф2 - 1)2/4. (22)
Рис. 1. Потенциал Гинзбурга—Ландау—Хиггса при к = \[2
На решениях ф(х) КрЗ (6), (7) величина Шаьн(ф, к)(х) + ф'2(х)/2 под интегралом (21) определяет плотность свободной (потенциальной) энергии пластины в отсутствие магнитного поля, а величина (21) пропорциональна поверхностной плотности энергии - величине энергии на единицу поверхности.
Для постоянных решений (8) КрЗ (6), (7) получаем: интеграл (21) принимает нулевое значение на решениях ф± = ±1, так что эти решения («истинные вакуумы» поля ф) являются энергетически абсолютно устойчивыми (или абсолютно устойчивыми по Лагранжу); на решении ф2ето = 0 имеем Е(к, к, Б) = Б к2/2 > 0. так что У к = 0 это решение («ложный вакуум» поля ф) энергетически неустойчиво (потенциал ГЛХ (22) достигает локального максимума при ф = 0).
Переход к нелинейной задаче с одним неизвестным параметром как собственным значением дискретного спектра. Для поиска решений КрЗ (6), (7),
отличных от (8), будем решать задачу с неизвестным параметром фо:
ф" + к2 (ф - ф3) = 0, 0 < ж < А (23)
^(0) = фо (0 <фо < 1), ф'(0) = 0, (24)
ф' (Б) = 0. (25)
При фиксированных значениях к и Б требуется определить значения фо, фо € (0,1), при которых существуют нетривиальные решения задачи (23)—(25), и определить их число.
Вспомогательную задачу (23)-(25) можно трактовать как нелинейную спектральную задачу со спектральным параметром фо на отыскание дискретных точек спектра на (0,1).
2.2. О связи решения задачи с эллиптическими функциями Якоби
Как замечено в [8], при каждом фиксированном значении фо € (0,1) задача Коши (ЗК) (23), (24) имеет аналитическое решение:
ф(х) = фо кх - Ф2/2 + со) . (26)
Здесь 8п(и + со,к) - эллиптический синус с модулем к,
к = фо/у/2-^2, к2 < 1, (27)
Со - постоянная сдвига,
8п(со ,к) = 1, Со = 8П-1(1Д) = К (к), (28)
где показатель степени « —1» понимается в смысле обратной функции, К (к) - полный эллиптический интеграл I рода:
тг/2
К(к) [ dУ _= / dt к2 < 1 (29)
J Vl - к2 sin2 у J V(1 - i2)(1 - k2t2)' v '
(определения и свойства эллиптических функций и интегралов см., например, в [12]).
Замечание 3. В [8] допущена опечатка в формуле (26) - под знаком корня стоит ф2 вместо Ф1/2; относительно Со указано только, что значение этой постоянной связано с выбором начала.
В справедливости формул (26)-(28) легко убедиться, учитывая первый интеграл («закон сохранения») для решений ОДУ (23): ф'2/2 + к2 (ф2/2-ф4 /4) = const. Тогда для решения ф(х) ЗК (23), (24) справедливо соотношение
ф'2 + к2 (ф2 - ф2 - ф4/2 + ^4/2) =0, 0 < ж < D. (30)
Осуществив в (30) замены переменных
VW0A Ф = Ф/Фо (31)
и = к X ■
и учитывая обозначение (27), получим ОДУ для эллиптического синуса (см. [12]):
(I)2=(1 - т - (32)
Согласно [8,12], период колебаний П для решения (26) выражается формулой
П
4К(к)/ к 1 - Го/2
(33)
где полный эллиптический интеграл I рода К (к) и модуль к > 0 определены в (29) и (27), соответственно.
Можно приближённо найти П(&) = П(фо), используя разложения (см. [12,13]):
К(к) = к2 + 1°г-4-2 к4 + к6 + к2 < 1;
К (к) = К (т) = 722(1 + т)(^1 + ^т2 + + 1° 42 • 62 + ^^
(34)
(35)
где
т = (1 -к')/(1 + к'), к1 = у/1 -к2, т2 <к2, (36)
и разложение (35) сходится быстрее.
Замечание 4. При Б ^ то решение ЗК (23), (24) при любом значении ф0 Е (0, 1) определяет периодическое ограниченное на всей вещественной оси решение ОДУ (23) - эллиптическую функцию Якоби, т.е. значения фо образуют непрерывный спектр на (0,1), а функции (26) являются СФ непрерывного спектра ОДУ (23) (ср. с п. 1.3). Мы вернёмся к этому замечанию в подразделе 5.
3. Численный метод решения краевой задачи
Пусть выполнено условие (17), и пусть - решение КрЗ с параметром
(23)-(25), т.е. при найденном значении фО^ > 0 (1 ^ в ^ I). Тогда для периода колебаний этого решения, как нетрудно понять, получаем точную формулу:
П = П8 = 2 В/в, в = 1,...,1, (37)
где 8 - число нулей функции ф(в)(х) на (0, Ц).
В результате, при выполнении требования (17), для нахождения нетривиального решения ф(в)(х) нелинейной однородной КрЗ (6), (7) с помощью вспомогательной задачи с параметром (23)-(25) условие (25) достаточно заменить условием
ф(з)(П8/4) = ф(з)(В/(28)) = 0, з = 1,...,1. (38)
Это условие существенно удобнее тем, что сразу фиксируется число нулей искомой функции, а вычисления осуществляются на меньшем отрезке [0, И/(28)] стрельбой по условию (38) с параметром стрельбы ф0 = фО^. Особенно это облегчает нахождение сильно осциллирующих решений для больших значений к и И.
Из (33), используя точную формулу (37), удобно находить значения полного эллиптического интеграла I рода К8(к8) для различных значений к8, определяемых
по формуле (27), где ф0 = ^о^1
К8(к8) = ^ 1 - (48))2 /2, ^ = 1,...,1. (39)
Решение фдз)(х) КрЗ (6), (7) в результате можно представить в виде:
ф(з)(х) = В^ к(х + 0/(2з)^ 1 - (^08))2 , 8 = 1,...,/. (40)
Кроме того, заметим, что при выполнении условия (17) и найденных значениях Фо) > 0 должны выполняться соотношения
СП С У1 - (48))2 /2 + ^ (*0^=0, 8 = 1,...,/, (41)
где сп(и + Со, к) - эллиптический косинус с модулем к, определённым в (27).
Если учесть, в каких точках эллиптический косинус обращается в нуль (см. [12]), то из (41) получим соотношения
к ^ 1 - (48))2 /2 + к (к) = (2з + 1)К (к), 8 = 1,...,1. (42)
Как нетрудно проверить, соотношения (42) при К (к) = К8(к8), определённых в (39), обращаются в тождества. С другой стороны, использование соотношений (42)
для нахождения самих значений щ ) > 0 является, на наш взгляд, менее удобным по сравнению с описанным выше численным методом, так как на каждой итерации требует пересчёта к и К (к).
Замечание 5. На наш взгляд, решение ЗК (23), (24) есть удобный способ нахождения эллиптического синуса и полного эллиптического интеграла I рода: при заданном к > 0 вычисляем фо по формуле:
ф0 = + к2;
(43)
решаем ЗК (23), (24) с так полученным значением фо до первого нуля х\ функции ф(х); учитываем, что
х 1 = П/4 = К (к)/ к ^ 1 - ф2/2
откуда получаем
К (к) = х1 и представление решения в виде
к - Ф0/2
ф(х) = ф0 ВП ж - Ф2/2 + К (к)
) ■
(44)
(45)
(46)
В [12, Табл. 30, с. 115] для набора значений к2 = 0, 0.02,0.04,..., 1.0 приведены величины К (к), которые могут служить контролем правильности вычислений по алгоритму этого замечания.
Замечание 6. Эллиптические функции Якоби (в общем случае это двоякопе-риодические мероморфные функции комплексного аргумента) обычно вычисляют разложениями в ряды (см. такие разложения, например, в [13]), а для ускорения сходимости рядов используют представления этих функций через тэта-функции Якоби (см. [12, 14]), что, на наш взгляд, является довольно громоздкой процедурой. Но имеется ли альтернатива этому подходу в случае комплексного аргумента, нам пока неизвестно.
4. Результаты расчётов
Расчёты осуществлялись в программной среде пакета Maple 14.01 (лицензия ВЦ РАН) с задаваемой точностью вычислений и дополнительными приёмами контроля количества верных знаков. Примеры расчётных данных приведены в табл. 1.
Таблица 1
Примеры расчётных данных
к D kD 42) 43) 44) 45)
0.5 6.4 8 15 20 27 34 3.2 4 7.5 10 13.5 17 0.21944 0.70593 0.97987 0.99657 0.99971 0.99998 0.62511 0.87298 0.96549 0.99011 0.38498 0.81006 0.92363 0.42061 0.76507 0.43999
1/V2 4.7 7 9 13 13.7 16 20 26 3.32... 4.95... 6.36... 9.19... 9.68... 11.31... 14.14... 18.38... 0.37576 0.86788 0.95433 0.99395 0.99573 0.99858 0.99981 0.99999 0.18329 0.82457 0.85632 0.92307 0.97262 0.99393 0.26671 0.63312 0.84060 0.94573 0.52681 0.82457 0.59550
0.8 4.5 7 8 11 12 13 17 21 3.6 5.6 6.4 8.8 9.6 10.4 13.6 16.8 72238437 27504479 09525799 61599999 59999999 0. 0. 0. 0. 0. 0. 0. 0. 0.21944 0.79345 0.85123 0.89124 0.96672 0.98941 0.21944 0.48602 0.81525 0.91972 0.43999 0.75455 0.40830
1.0 4.5 5 6.38 8 11 13 16 4.5 5 6.38 8 11 13 16 0.81007 0.87298 0.95486 0.98592 0.99832 0.99959 0.99995 0.20027 0.70593 0.91345 0.95864 0.98592 0.59105 0.78139 0.90179 0.29532 0.70593 0.21944
Таблица 1
Примеры расчётных данных (продолжение)
к D kD 43) 44) 45)
1.2 2.7 3.24 0.28205
3.5 4.2 0.75455
5.5 6.6 0.96153 0.35270
7 8.4 0.98941 0.75455
10 12 0.99917 0.94037 0.70593
12 14.4 0.99984 0.97505 0.85123 0.56027
15.5 18.6 0.99999 0.99441 0.94852 0.83211 0.61335
1.5 2.2 3.3 0.35270
4 6 0.94037
4.3 6.45 0.95711 0.26062
5.5 8.25 0.98822 0.73763
6.38 9.57 0.99538 0.84944 0.20027
7.8 11.7 0.99898 0.93337 0.67681
10 15 0.99990 0.97988 0.87298 0.62511
11.5 17.25 0.99998 0.99097 0.92824 0.77745 0.47519
Дополнительным контролем точности вычислений могут служить следующие правила и соотношения: 1) для фиксированного j ^ 1 при одинаковых значениях
параметра р = kD должны быть одинаковыми величины (с учётом Замечания 2, величины зависят только от произведения параметров kD); 2) если D2/S2 = D1/s1 при D2 > D\ и s2 > si, то решение ^(s2)(ж, D2) при х £ совпадает с
решением ^(si)(x, Di), являясь его продолжением до значения х = D2 с увеличением числа нулей; 3) должны выполняться соотношения (10), (19). Пример графиков решений КрЗ (6), (7) см. на рис. 2.
Рис. 2. Графики узловых решений -ф^ (х) при D = 12, к = 0.8, s = 1, 2, 3
С учётом формул (8) и ограничения (11) всего здесь имеется 4 нетривиальных решения КрЗ (6), (7) - одно основное = 1 и три узловых (см. табл. 1).
Важно заметить, что для исходной нелинейной КрЗ ГЛ (1), (2) (при Н > 0) значения из приведённой выше табл. 1 будут определять «коридор» существования решений, у которых ф-компонента имеет 8 нулей на (0,И).
5. Дополнение: об одной задаче нелинейной теории поля
ОДУ (6), рассматриваемое на всей оси К, известно в нелинейной теории поля и космологии как одномерное стационарное уравнение для нейтрального скалярного поля Хиггса в пространстве Минковского (см., например, [15] и цитированную там литературу). В общем случае ( N + 1)-мерного пространства Минковского с координатами х° = ¿, XI, ...,хм ^ ^ 1) лагранжиан Ь для такого поля ф(г, ¿) имеет вид:
Ь =|( £) 2 - 2 £ (Ц) 2 <*). (47)
где Шаьн (ф) - потенциал ГЛХ, определённый в (22).
Уравнение Лагранжа-Эйлера для лагранжиана (47) имеет вид
- + ^^ = 0, г Е ^ К,
от2 аф
(48)
где А^ - ^мерный оператор Лапласа и
= к2ф(ф2 - 1). (49)
ОШаьн (ф) 22
аф
Здесь используется система единиц, в которой с = Н =1 ( с - скорость света в вакууме, Н - постоянная Планка). В этой системе единиц нетривиальной остаётся только размерность массы ([т] = М), а длина и время имеют размерность 1/М. Тогда [к] = М, а ф - величина безразмерная.
Уравнение (48) обладает, в частности, известными одномерными решениями, которые называют «доменными стенками» (они соединяют два «истинных вакуума»). В общем случае эти стенки движутся с постоянной скоростью V, 0 < V < 1, направленной перпендикулярно их поверхности:
фш±(г-гЪ,г - г0,п,у^ = ± tanh^-к= (п,г - г°) ± у(г - ¿°) 1^1 - У2^ , (50)
где ¿о, V - параметры, го - вектор параметров, п - единичный вектор в направлении распространения волны.
Для стационарных одномерных решений, имеющих вид
фт± (х - х°) = ± tanh ^ —— (х - х°)^,
х -х°) , (51)
где х,х° Е К (х° - параметр сдвига), получаем
Ец, =
— ОО
/ К<ф-±)
ах = 2к—2/3, (52)
где Еш - поверхностная плотность энергии стенки, сконцентрированная, вообще говоря, в тонком слое. Значение
=
^ wGLH йф2
-1/2
1 [к^ и 0.7071068/к
(53)
связано с понятием толщины стенки (или плёнки), а значение Еш совпадает со значением
=
с1х
(я)
2
с!х = 2к—2/3 И 0.942809 к,
(54)
которое определяет поверхностное натяжение плёнки (см., в частности, [15], где изучаются более общие задачи с потенциалами типа ГЛХ с «перекошенными ваку-умами», возникающие как в нелинейной теории поля, так и в нелинейной физике сложных сред для моделей типа «пузырей» и «капель»).
В стационарном одномерном случае (М = 1, х = ж1) из (48), (49) следует ОДУ (6) при х е К; фазовый портрет для решений этого ОДУ см. на рис. 3.
Здесь гомоклиническая орбита, образованная двумя гетероклиническими орбитами между точками = { — 1, 0} и = {1,0}, отвечает решениям (51); внутри этой «ячейки» замкнутые орбиты образованы периодическими эллиптическими функциями Якоби (см. Замечание 4); «усы» из точек = { — 1,0} и = {1,0} отвечают точным сингулярным решениям ОДУ (6):
(ж — ж0) = ± со^ ^ —— (ж — ж0)) . (55)
Можно также показать, что для любого фиксированного значения х = хр > 0 ОДУ (6) обладает однопараметрическим семейством сингулярных решений («blowup solutions»), имеющих в главном представление
к|х — хр|
^sing± (х — Хр) = ±——— 1 + о(1) , |х — Хр| ^ 0. (56)
Этим решениям отвечают неограниченные кривые на рис. 3. О способах выделения и изучения таких решений см., в частности, в [15].
При больших значениях кИ > 0 одноузловое решение ф(1)(х) нелинейной КрЗ (6), (7), с учётом ограничения (11), вообще говоря, будет близко к функции
(х — D/2) = tanh (к (D/2 — х)/V2j
(см. (51)). В частности, при И = 7 и к = 1.5 графики этих функций практически совпадают.
6. Заключение
В заключение отметим, что хотя ОДУ (6) хорошо известно в нелинейной теории поля и космологии, подробное изучение КрЗ (6), (7) на конечном интервале нам неизвестно. На наш взгляд, исследования данной работы могут также представлять интерес для специалистов по изучению и применению эллиптических функций Яко-би вещественного аргумента.
Литература
1. Гинзбург В. Л., Ландау Л. Д. К теории сверхпроводимости // Журнал экспериментальной и теоретичесокй физики. — 1950. — Т. 20, № 12. — С. 1064-1082.
2. Шмидт В. В. Введение в физику сверхпроводников. — М.: ФИЗМАТЛИТ, 1982. — 238 с.
3. Zharkov G. F. First and Second Order Phase Transitions and Magnetic Hysteresis in a Superconducting Plate // Journal of Low Temperature Physics. — 2003. — Vol. 130, No 1/2. — Pp. 45-67.
4. Жарков Г. Ф. Сверхпроводящие состояния и магнитный гистерезис в сверхпроводниках конечного размера // Успехи физических наук. — 2004. — Т. 174, № 9. — С. 1012-1017.
5. Аналитико-численные исследования нелинейной краевой задачи для сверхпроводящей пластины в магнитном поле / А. Л. Дышко, Г. Ф. Жарков, Н. Б. Конюхова, С. В. Курочкин // Журнал вычислительной математики и математической физики. — 2005. — Т. 45, № 9. — С. 1651-1676.
6. Konyukhova N. B., Kurochkin S. V. On Nonlinear Ginzburg-Landau Boundary Value Problem for a Superconducting Plate in a Magnetic Field // International Scientific Journal Spectral and Evolution Problems. — 2007. — Vol. 17. — Pp. 125-136. — (Simferopol: Taurida National V.Vernadsky University; e-print: http://www.kromsh.info/).
7. Kwong M. K. On the One-Dimensional Ginzburg-Landau BVPs // Differential and Integral Equations. — 1995. — Vol. 8, No 6. — Pp. 1395-1405.
8. Marcus P. M. Exact Solution of the Ginzburg-Landau Equations for Slabs in Tangential Magnetic Fields // Reviews of Modern Physics. — 1964. — Pp. 294-299.
9. Keller H. B., White A. B. JR. Difference Methods for Boundary Value Problems in Ordinary Differential Equations // SIAM Journal on Numerical Analysis. — 1975. — Vol. 12, No 5. — Pp. 791-802.
10. Арнольд В. И. Теория катастроф. — М.: Наука, 1990. — 128 с.
11. Rachunkova I. Multiple Solutions of Nonlinear Boundary Value Problems and Topological Degree // Proc. Conf. on Differential Equations and Their Applications (EQUADIFF 9; held in Brno, August 25-29, 1997). — Brno: Masaryk Univ., 1997. — Pp. 147-158.
12. Янке М. Ф, Эмде Ф, Леш Ф. Специальные функции. — М.: ФИЗМАТЛИТ, 1977. — 344 с.
13. Двайт Г. Б. Таблицы интегралов и другие математические формулы. — М.: ФИЗМАТЛИТ, 1977. — 224 с.
14. Лаврентьев М. Ф., Шабат Б. В. Методы теории функций комплексного переменного. — М.: ФИЗМАТЛИТ, 1956. — 716 с.
15. Bubbles and Droplets in Nonlinear Physics Models: Analysis and Numerical Simulation of Singular Nonlinear Boundary Value Problem / N. B. Konyukhova, P. M. Lima, M. L. Morgado, M. B. Soloviev // Comput. Math. Math. Phys. — 2008. — Vol. 48, No 11. — Pp. 2018-2058. — (Pleiades Publishing, Ltd., 2008).
UDC 519.63
On an Auxiliary Nonlinear Boundary Value Problem in the Ginzburg—Landau Theory of Superconductivity and its Multiple
Solutions
N. B. Konyukhova, A. A. Sheina
FRC CSC of RAS, Moscow, Russia
We realize analytic-numerical investigation of a homogeneous boundary value problem (BVP) for a second-order ordinary differential equation (ODE) with cubic nonlinearity and two real parameters which arises from the Ginzburg-Landau theory of superconductivity. Multiple nontrivial solutions to this problem depending on the specified parameters are expressed through the Jacobi elliptic functions and describe the stationary states (near the critical values of temperature) of a superconducting infinite plate of a finite thickness without magnetic field. It is a "degenerate" problem with respect to the original nonlinear BVP for a superconducting plate in a magnetic field and is important to construct algorithm for finding all the solutions to the indicated input problem in a wide range of the parameters. Studied problem is of separate mathematical interest by itself.
Key words and phrases: The Ginzburg-Landau theory of superconductivity, stationary states of a superconducting plate without magnetic field, nonlinear second-order ordinary differential equation (ODE), homogeneous boundary value problem (BVP) and its multiple solutions
References
1. V. L. Ginzburg, L. D. Landau, On the Theory of Superconductivity, Journal of Experimental and Theoretical Physics 20 (12) (1950) 1064-1082, [English transl. in: Men of Physics: L.D. Landau. Ed. D. ter Harr. - Oxford: Pergamon, 1965. Pp. 138167].
2. V. V. Shmidt, Introduction in Phisics of Superconductors, FIZMATLIT, Moscow, 1982, in Russian.
3. G. F. Zharkov, First and Second Order Phase Transitions and Magnetic Hysteresis in A Superconducting Plate, Journal of Low Temperature Physics 130 (1/2) (2003) 45-67.
4. G. F. Zharkov, Superconducting States and Magnetic Hysteresis in Finite Superconductors, Physics-Uspekhi 47 (9) (2004) 944-949.
5. A. L. Dyshko, G. F. Zharkov, N. B. Konyukhova, S. V. Kurochkin, Analytic-Numerical Investigation of the Nonlinear Boundary Value Problem for a Superconducting Plate in a Magnetic Field, Comput. Maths Math. Phys. 45 (9) (2005) 1593-1617.
6. N. B. Konyukhova, S. V. Kurochkin, On Nonlinear Ginzburg-Landau Boundary Value Problem for a Superconducting Plate in a Magnetic Field, International Scientific Journal Spectral and Evolution Problems 17 (2007) 125-136, (Simferopol: Taurida National V.Vernadsky University; e-print: http://www.kromsh.info/).
7. M. K. Kwong, On the One-Dimensional Ginzburg-Landau BVPs, Differential and Integral Equations 8 (6) (1995) 1395-1405.
8. P. M. Marcus, Exact Solution of the Ginzburg-Landau Equations for Slabs in Tangential Magnetic Fields, Reviews of Modern Physics (1964) 294-299.
9. H. B. Keller, A. B. White JR., Difference Methods for Boundary Value Problems in Ordinary Differential Equations, SIAM Journal on Numerical Analysis 12 (5) (1975) 791-802.
10. V. I. Arnold, Theory of Catastrophes, Nauka, Moscow, 1990, in Russian.
11. Rachunkova, I., Multiple Solutions of Nonlinear Boundary Value Problems and Topological Degree, in: Proc. Conf. on Differential Equations and Their Applications (EQUADIFF 9; held in Brno, August 25-29, 1997), Masaryk Univ., Brno, 1997, pp. 147-158.
12. E. Jahnke, F. Emde, F. Lesch, Tables of Functions with Formulae and Curves, Stechert, New York, 1938.
13. H. B. Dwight, Tables of Integrals and Other Mathematical Data, The Macmillan Company, New York, 1961 (4th ed.).
14. M. F. Lavrent'ev, B. V. Shabat, Methods of Theory of Complex Variable Functions, FIZMATLIT, Moscow, 1956, in Russian.
15. N. B. Konyukhova, P. M. Lima, M. L. Morgado, M. B. Soloviev, Bubbles and Droplets in Nonlinear Physics Models: Analysis and Numerical Simulation of Singular Nonlinear Boundary Value Problem, Comput. Math. Math. Phys. 48 (11) (2008) 2018-2058, (Pleiades Publishing, Ltd., 2008).
© Конюхова Н. Б., Шеина А. А., 2016