Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2021. Т. 21, вып. 3. С. 317-325
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, iss. 3, pp. 317-325
https://mmi.sgu.ru https://doi.org/10.18500/1816-9791-2021-21-3-317-325
Article
Solutions of the Loewner equation with combined driving functions D. V. Prokhorov, A. M. Zakharov, A. V. Zherdev0
Saratov State University, 83 Astrakhanskaya St., Saratov 410012, Russia
Dmitri V. Prokhorov, ProkhorovDV@info.sgu.ru, https://orcid.org/0000-0002-0490-941X Andrei M. Zakharov, Zaharovam@info.sgu.ru, https://orcid.org/0000-0001-8293-4277 Andrei V. Zherdev, Jerdevandrey@gmail.com, https://orcid.org/0000-0003-2282-4169
Abstract. The paper is devoted to the multiple chordal Loewner differential equation with different driving functions on two time intervals. We obtain exact implicit or explicit solutions to the Loewner equations with piecewise constant driving functions and with combined constant and square root driving functions. In both cases, there is an analytical and geometrical description of generated traces. Earlier, Kager, Nienhuis and Kadanoff integrated the chordal Loewner differential equation either with a constant driving function or with a square root driving function. In the first case, the equation generates a rectilinear slit in the upper half-plane which is orthogonal to the real axis R. In the second case, a rectilinear slit forms an angle to R. In our paper, the multiple chordal Loewner differential equation generates more complicated hulls consisting of three rectilinear and curvilinear fragments which can be either intersecting or disjoint. Analytical results of the paper are accompanied by geometrical illustrations. Keywords: Loewner equation, driving function, trace, integrability case
Acknowledgements: This work was supported by the Program of development of Regional Scientific and Educational Mathematical Center "Mathematics of Future Technologies" (project No. 075-02-2021-1399).
For citation: Prokhorov D. V., Zakharov A. M., Zherdev A. V. Solutions of the Loewner equation with combined driving functions. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, iss. 3, pp. 317-325 (in English). https://doi.org/10.18500/1816-9791-2021-21-3-317-325
This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0)
Научная статья УДК 517.54
О решениях уравнения Лёвнера с составными управляющими функциями
Д. В. Прохоров, А. М. Захаров, А. В. Жердев0
Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, Россия, 410012, г. Саратов, ул. Астраханская, д. 83
Прохоров Дмитрий Валентинович, доктор физико-математических наук, профессор кафедры математического анализа, ProkhorovDV@info.sgu.ru, https://orcid.org/0000-0002-0490-941X
Захаров Андрей Михайлович, кандидат физико-математических наук, доцент кафедры математического анализа, Zaharovam@info.sgu.ru, https://orcid.org/0000-0001-8293-4277
Жердев Андрей Владимирович, аспирант кафедры математического анализа, https://orcid.org/ 0000-0003-2282-4169, Jerdevandrey@gmail.com
Аннотация. В статье рассматривается хордовое дифференциальное уравнение Левнера с управлением, заданным разными функциями на частях отрезка интегрирования. Получены точные решения в явном или неявном виде для кусочно-постоянной управляющей функции, а также управления, заданного как комбинация постоянной функции и квадратного корня. Для обоих случаев дано аналитическое и геометрическое описания генерируемых разрезов. Ранее Кагер, Ниенуис и Каданов проинтегрировали хордовое дифференциальное уравнение Левнера с постоянной управляющей функцией и с управляющей функцией в виде квадратного корня. В первом случае уравнение генерирует в верхней полуплоскости прямолинейный разрез, ортогональный к вещественной оси R. Во втором случае прямолинейный разрез образует некоторый угол с осью R, зависящий от коэффициента при квадратном корне. В настоящей статье обобщенное дифференциальное уравнение Левнера генерирует более сложные множества, состоящие из трех прямолинейных или криволинейных фрагментов, которые могут пересекаться или не иметь общих точек. Аналитические результаты статьи сопровождаются геометрическими интерпретациями.
Ключевые слова: уравнение Лёвнера, управляющая функция, разрез, случай интегрируемости
Благодарности: Работа выполнена при поддержке Программы развития регионального научно-образовательного математического центра «Математика технологий будущего» (проект № 075-02-2021-1399).
Для цитирования: Prokhorov D. V.Zakharov A. M., Zherdev A. V. Solutions of the Loewner equation with combined driving functions [Прохоров Д. В., Захаров А. М, Жердев А. В. О решениях уравнения Лёвнера с составными управляющими функциями] // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2021. Т. 21, вып. 3. С. 317-325. https://doi.org/10.18500/1816-9791-2021-21-3-317-325 Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0)
Introduction
The Loewner differential equations [1] play an important role in the geometric function theory of complex analysis. We will discuss a half-plane version of the Loewner equation, see e.g., [2, Chapter 4], generating self-maps of the upper half-plane H = = {z e C : Im z > 0}. Given a simple curve r in H, emanating from a point on R, and for an appropriate continuous parametrization r(t) of r, 0 ^ t ^ T, there exists a unique conformal map g(-,t) from H \ r[0,t] onto H that obeys the hydrodynamic normalization near infinity
g(z,t) = z + — + O (t-^ ) , z ^
In this case, there is a continuous driving function A : [0, T] ^ R such that g solves the chordal Loewner differential equation
dg(z,t) 2
dt g(z,t) - A(t) We say that g generates Г.
, g(z, 0) = z, 0 < t < T, z £ H \ Г[0,Т]. (1)
If r is a finite union of simple curves, probably with common points, we need to use the multiple Loewner differential equation
dg (z, t) = 2^fc
dt kL g(z,t) - Ak(t) '
g(z, 0) = z, 0 < t < T, z G H \ Г[0,Т]
with (piecewise) continuous driving functions Ak : [0, T] ^ R and positive numbers , k = n=1 ^k = 1.
In this paper, we restrict ourselves to n = 2 and = = 2. So we consider the Loewner differential equation
i gAk(t), 0) =0 <4 « T' z e H \ r[0'T]- (2)
k—1
There are only few known examples of driving functions in (1) or (2) that admit explicit integration of this equation and describe corresponding traces r. In [3], the authors solve equation (2) with constant driving functions A1 < 0 and A2 = — A1. For n = 1, the authors of [3] give a full description of a trace generated in equation (1) if the driving function has the form A(t) = A\/t, A > 0.
We aim to develop integration possibilities for equation (2) with combined driving functions A1 and A2, A1 = —A2, when
A2(t) = 0 ^ 4<t0, (3)
\a, to < t < T, w
or
A2^J0'_ 0 < '<*>, (4)
to, to < t < T
for arbitrary A > 0 and t0 > 0 and a certain T > t0.
Note that both driving functions A1, A2 in (4) are continuous on [0,T] while driving functions A1 ,A2 in (3) have jumps at t0.
In Section 1, we integrate Loewner equation (2) with piecewise constant driving functions (3), see Theorem 1, and show that a solution g(-, t) maps H\r onto H, where r is a union of a segment r0 on the upper imaginary half-axis and a pair of curves r1 and r2 which are symmetric with respect to the imaginary axis and emanate either from points on R if A > 2^/t0 or from points on r0 if A < 2^/t0. If A = 2^/t0, the boundary symmetric curves r1 and r2 emanate from the origin under angles ±n to the real axis R. We give implicit representations of r1 and r2 and asymptotic expansions for r1 and r2 near t = t0.
In Section 2, we integrate Loewner equation (2) with continuous driving functions (4) which are constant on [0, t0) and square root functions on [t0,T], see Theorem 2. We show that a solution g(-, t) maps H \ r onto H, where r is a union of the segment [0, ¿2^/t0] and a pair of curves which are symmetric with respect to the imaginary axis and emanate from the point ¿2^/t0. We give explicit representations of boundary curves and their asymptotic expansions near t = t0.
In Section 4, we discuss an interrelation between exact solutions for the standard Loewner equation on two separate time intervals and its multiple version.
1. Loewner equation with piecewise constant driving functions
Let us solve the multiple Loewner differential equation (2) with combined driving functions (3) that are piecewise constant on [0,T].
Theorem 1. There exists T > t0 for which the multiple Loewner differential equation (2) with combined driving functions (3) has a solution w = g(z,t) on [0, T]. On [0, t0], g(z,t) = Vz2 + 4t, and on [t0, T], w = g(z,t) satisfies the implicit equation
w2 - z2 - A2 log
w2
+ 4to
4t, g(z,to) = Vz2 +4to, z G H \ (5)
where the continuous branches of log w and log z are real when w and z are positive. The function g(z, T) maps H \ Г onto H according to the following three cases:
(i) If A > 2y/t0, then Г = uk=0Гк, where Г0 = [Q, 2i^/t0], Г2 [Q,T] is a curve which emanates from VA2 — 4t0 and is orthogonal to R at this point, Гх [Q,T] is symmetric to Г2 [Q,T] with respect to the imaginary axis (Fig. 1);
(ii) If A < 2^tQ, then Г = uk=0Г*к, where Г* = Го, r2[Q,T] is a curve which emanates from ¿V4t0 — A2 and is orthogonal to the imaginary axis at this point, Г* [Q,T] is symmetric to Г* [Q,T] with respect to the imaginary axis (Fig. 2);
(iii) If A = 2Vt0, then Г = uk=0Г£*, where Г0* = Г0, Г** [Q, T] is a curve which emanates from the origin under the angle n to R, Г** [Q,T] is symmetric to Г2* [Q, T] with respect to the imaginary axis (Fig. 3).
Fig. 1. Г for t0 = 1, T = 3, A = 2.5 (i)
Fig. 2. Г for t0 = 1, T = 3, A = 1.5 (ii) Fig. 3. Г for t0 = 1, T = 3, A = 2 (iii)
Proof. It is a well-known result on [0, t0] that g(z,t) = Vz2 + 4t, z e H, see, e.g., [2, p. 95], [3]. Next, we have to solve the multiple Loewner equation
dw
1 1
+
2w
dt w + A w - A w2 — A2
, w(z,t0)= g(z,t0), t0 ^ t ^ T.
(6)
2
3
2
0
0
2
3
3
2
2
0
0
0
1
0
1
The function g(z,to) maps H \ onto H. Differential equation (6) with separated
variables w and z has a general solution in the form
w2 - 2A2 log w = 4t + c
with an arbitrary constant c. The initial value allows us to determine c as
c = z2 - A2 log(z2 +4to).
So we find an implicit solution w = w(z, t) to the Cauchy problem (6) as it is presented in (5).
Differential equation (6) generates two traces r and r2 that are symmetric with respect to the imaginary axis and emanate from two points g(z,to) = ±A on R. Let r2 correspond to g(z,to) = A and let r2 be given by z = z(t). Then the line of singularities z(t) satisfies the equation
w(z(t),t) = A, t ^ t0. Together with (5) this leads to the equality
A2
A2 - z2(t) - A2 log =4t, t ^ to, g(z(to),to)= A. (7)
z (t) + 4to
The equality g(z(t0),t0) = A is equivalent to z(t0) = VA2 - 4t0. A disposition of the initial point of r2 depends on the sign of A2 - 4t0. Let us consider three possible cases.
Case (i): A > 2^/t0. Then z(t0) > 0 and r2 emanates from the point on the positive real half-axis.
Case (ii): 0 < A < 2^/t0. Then z(t0) is pure imaginary and r2 emanates from the point on (0, ¿2^/t0).
Case (iii): A = 2^/t0. Then z(t0) = 0 and r2 emanates from the origin. Equality (7) is an implicit representation of r2. Find an asymptotic expansion of r2 near the initial point in all the three cases. Differentiate (7) and obtain
(z2(t))' = A?-4t0 - %, z2(to) = A2 - 4to, t > to. (8)
This allows us to find an asymptotic expansion for z(t) near t0. In cases (i) and (ii) it is reasonable to set
z (t) = \J A2 - 4to + a^ft-+ o(^ft-to), t ^ t+.
Hence
, 2/ w a^A2 - 4to ( 1 \ +
(z2(t))' = ^T-tr + °(vr-rj, t "*.
Substitute expansions for z(t) and (z2(t))' in (8) and see that
^VA2 - 4to 2A2 ( 1
+ o ( ^-- I , t ^ t+
Vt - to a VA2 - 4toV t - to Vvt - to which gives that
2 2A2
a2 = -■
A2 - 4to
In Case (i) A2 > 4to:
/2 A
z(t) = VA2 - 4to + i . л2 A,Vt-t0 + t ^ t+.
V A2 — 4to
So z(t) is orthogonal to R at z = VA2 — 4to. In Case (ii) A2 < 4to:
/2 A
z(t) = V4to — A2 + ^Vt—To + o(Vi —to), t ^ t+.
4to — A2
So z(t) is orthogonal to the imaginary axis at z = iV4to — A2.
Case (iii) A2 = 4to requires another asymptotic behavior of the trace near the origin. Formula (8) transforms to the following
(z4(t))' = —8(z 2(t) + 4to), z (to) = 0.
Let us present another reasonable asymptotic expansion for z(t),
z(t) = bVt—¿o + o(Vt—To), t ^ t+.
We take into account both last formulas and obtain that b4 = —32to. Thus
z(t) = e*42V2toVt—to + o(Vt—to), t ^ t+.
So z(t) is tangential to the radial ray at the angle n to R from the origin.
Similarly to (7), derive an implicit representation for z(t) in Case (iii). Integrate the differential equation for (z4(t))' to get the needed equation
z2 + 4 log 2 A = A2 — 4t, z(to) = 0. z2 + 4to
The boundary curve Г can be studied similarly. However, it is symmetric to Г with respect to the imaginary axis due to the symmetric disposition of points ±A and the symmetric trace on the time segment [0, to].
It remains to be observed what happens to the boundary [0,i2^/to] when t varies along [to, T]. The implicit representation (5) implies that the two singular points w = 0 and z = i2^/to appear simultaneously. As far as w = 0 is constant on [to,T] according to (6), the corresponding z = i2^/to also does not move for t on [to,T]. Inner points of the segment [0, i2^/to] cannot leave the imaginary axis because of symmetric properties of conformal mappings generated by symmetric driving functions (3). This means that the segment [0,i2^/to] is a part of the boundary set Г, and there are no additional parts of Г on the imaginary axis, which completes the proof of Theorem 1. □
2. Combined constant and square root driving functions
Now we will solve the multiple Loewner differential equation (2) with combined driving functions (4) that are continuous on [0,T].
Theorem 2. For every T > to, the multiple Loewner differential equation (2) with combined driving functions (4) has a solution w = g(z,t) on [0, T]. On [0, to], g(z,t) = Vz2 + 4t, and on [to,T], w = g(z,t) satisfies the implicit equation
2 2
(A2 + 4)(t — to) = w2 — (z2 + 4to) ^+1 w-^, w(z, to) = V z2 + 4to,
where the branches of power functions are such that they are positive when z2 + 4t0 and w are positive. The function g(z, T) maps H \ r onto H, r = uk=0rk, where r0 is the segment [0, ¿2^/t0], r2 is a square root of a rectilinear segment under the angle 4n/(A2 +4) to R from (—4t0), and r is symmetric to r2 with respect to the imaginary axis (Fig. 4).
Fig. 4. Г for t0 = 1, T = 3, A = 3.0
Proof. As in Theorem 1, on [0, t0], the function g(z,t) = Vz2 + 4t, z G H, solves the chordal Loewner differential equation (2) with vanishing driving functions. Next, we have to solve the multiple Loewner equation
dw 1 1 2w
dt = w + A^t - t0 w - AVt - t0 = w2 - A2 (t - to) '
t0 ^ t ^ T
(9)
with the initial condition w(z,t0) = g(z,t0). We keep in mind that g(z,t0) = Vz2 + 4t0 maps H \ [0, 2i^t0] onto H.
Note that differential equation (9) is linear with respect to t. Its general solution is given implicitly by
t t0
w2
A2 + 4
+ cw 2
with an arbitrary constant c. The initial value allows us to determine c from the equation
0 = 4++4T + c(z2 + 4t0)-A2
so that
c = —
2
(z2 + 4to ) ^+1 A2 + 4
So we find an implicit solution to the Cauchy problem (9) as
t - to =
w2 (z2 +4to ) ^+1
------w 2
A2 +4 A2 +4
(10)
which proves the first statement of Theorem 2 for a certain T > t0.
Differential equation (9) generates two traces Ti and r2 symmetric with respect to the imaginary axis and emanating from the common point g(0,t0) = ¿2^/t0 on the imaginary axis. Let r2 be situated in the right half-plane for a certain T > t0 and let r2 be given by z(t). Then the line of singularities z(t) satisfies the equation
w(z(t),t) = ^Vt-tO, t ^ t0.
3
_
1
0
0
1
2
3
2
Изв. Сарат. ун-та. Нов. сер. Сер.: Математика. Механика. Информатика. 2021. Т. 21, вып. 3 Together with (10) this leads to the equality
'—to=AU^—ii!iiA+tf;:!(A vt—5)-*, t> to.
Transform this expression to the following
4(t — to) T+1 = —(z2 (t) + 4to) T+1 A-a"
and give the explicit formula for z(t):
;(t) =
iin
eA^Ti 2 A^+ï AAT (t - t0) - 4t0
t ^ to.
2
2
It is worth noting that z(t) is the square root of a rectilinear segment under the angle 4n/(A2 + 4) to R from (—4t0). The slope of the rectilinear segment is changing from n to 0 when A is growing from 0 to infinity. Therefore, r2 emanates from z2vto and is tangential to the ray at the angle
n4 n n (4 - A2) A2 +4 - 2 = 2(A2 +4)
to R at this endpoint. The slope of r2 is changing from n/2 to (—n/2) when A is growing from 0 to infinity.
The last reasoning explains that r2 stays in the right half-plane for all A and T > t0 and it is a simple curve.
The boundary curve r can be studied similarly. However, it is symmetric to r with respect to the imaginary axis due to the symmetric properties of the driving functions ±AVt —10 and the symmetric trace on the time segment [0, t0].
It is known that the Loewner differential equation generates simple traces up to the moment t when either lines of singularities r meet the real axis R or r has self-intersection, see, e.g., [4]. We showed that, under conditions of Theorem 2, the curve r2 stays in the right half-plane for all t and does not reach R. Similarly, the curve r stays in the left half-plane and does not reach R. Both r2 and r do not meet r0 := [0,i2^/t0]. Hence the Loewner generating process develops in time for all T > t0. This completes the proof of Theorem 2. □
Conclusions
The proofs of Theorems 1 and 2 are based on the knowledge of integrability cases of the Loewner differential equation for constant and square root driving functions both in the standard and multiple versions. There are some more known driving functions that admit explicit or implicit integration of the Loewner equation. Therefore, it is possible to present new examples of combined driving functions in the Loewner equation with several contact points which join different driving functions and lead to exact solutions.
Point out at such examples. Besides constant and square root driving functions, Kager, Nienhuis and Kadanoff [3] considered linear driving functions and obtained exact solutions of the Loewner equation. We have to add that their adaptation to the multiple equation is not so successful in getting exact solutions.
In [5], the authors found an implicit exact solution of the Loewner equation with the exponential driving function A(et - 1). Moreover, this driving function is well-adapted to express an exact solution for the multiple Loewner equation.
There is another approach in the exact solution problem when driving functions are determined for given traces of the Loewner equation. We refer to [6], where the problem was solved for the circular arc in H tangential to R at 0. This result was generalized in [7] for powers of this arc and in [8] for tangential curves close to this arc. It was proved in [6] that the tangential circular arc of radius 1 and centered at i is generated by the driving function A(t) = 3a(t) + 2л/-a(t)n, where а = a(t) is an algebraic function satisfying the equation
а(3а + V-ап) = -6t, t ^ 0.
A similar problem was solved by Wu in [9] for circular arcs in H which meet R orthogonally.
References
1. Lowner K. Untersuchungen uber schlichte konforme Abbildungen des Einheitskreses. I. Mathematische Annalen, 1923, vol. 89, iss. 1-2, pp. 103-121 (in Germany). https://doi.org/10.1007/BF01448091
2. Lawler G. F. Conformally Invariant Processes in the Plane. Princeton, American Mathematical Society, 2005. 242 p. (Mathematical Surveys and Monographs. Vol. 114).
3. Kager W., Nienhuis B., Kadanoff L. P. Exact solutions for Loewner evolutions. Journal of Statistical Physics, 2004, vol. 115, iss. 3-4, pp. 805-822. https://doi.org/10.1023/B:J0SS.0000022380.93241.24
4. Lind J. R. A sharp condition for the Loewner equation to generate slits. Annales Academiœ Scientiarum Fennicœ. Mathematica, 2005, vol. 30, iss. 1, pp. 143-158.
5. Prokhorov D. V., Zakharov A. M. Integrability of a partial case of the Loewner equation. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2010, vol. 10, iss. 2, pp. 19-23 (in Russian). https://doi.org/10.18500/1816-9791-2010-10-2-19-23
6. Prokhorov D., Vasil'ev A. Singular and tangent slit solutions to the Lowner equation. In: Gustafsson B., Vasil'ev A., eds. Analysis and Mathematical Physics. Trends in Mathematics. Birkhauser Basel, 2009, pp. 455-463. https://doi.org/10.1007/978-3-7643-9906-1_23
7. Lau K. S., Wu H. H. On tangential slit solution of the Loewner equation. Annales Academiœ Scientiarum Fennicœ. Mathematica, 2016, vol. 41, pp. 681-691. http://dx.doi.org/10.5186/aasfm.2016.4142
8. Wu H. H., Jiang Y. P., Dong X. H. Perturbation of the tangential slit by conformal maps. Journal of Mathematical Analysis and Applications, 2018, vol. 464, iss. 2, pp. 1107-1118. https://doi.org/10.1016/j-.jmaa.2018.04.042
9. Wu H. H. Exact solutions of the Loewner equation. Analysis and Mathematical Physics, 2020, vol. 10, iss. 4, article 59. https://doi.org/10.1007/s13324-020-00403-1
Поступила в редакцию / Received 22.03.2020 Принята к публикации / Accepted 27.04.2021 Опубликована / Published 31.08.2021