Reports of the Academy of Sciences of the USSR
1970. Volume 191, No. 4

UDC 517.945.43

MATHEMATICS

B. M. BUDAK, M. Z. MOSKAL

ON A CLASSICAL SOLUTION OF A MULTIDIMENSIONAL MULTIPHASE PROBLEM OF STEFAN TYPE IN A DOMAIN WITH PIECEWISE SMOOTH BOUNDARY

(Presented by Academician A. N. Tikhonov on 16 VII 1969)

This paper considers questions of existence, uniqueness, stability with respect to perturbations of the initial data, and smoothness of the solution of a multidimensional, multiphase problem of Stefan type for a general linear parabolic equation of the second order, with nonclosed and closed fronts in noncylindrical domains with piecewise smooth boundary. The exposition is given for the case when the number of spatial independent variables is (N=2), but the method and results are easily extended to the case (N>2). For definiteness, the first boundary-value problem is discussed; the second boundary-value problem is considered analogously.

Statement of the problem. As the basic domain of variation of the independent variables (x_1, x_2, t), we take the domain (D_T), bounded by the surfaces:
(\sigma_T^{n+i}\equiv {x_1=x_1(s,t), x_2=x_2(s,t)}), (s) is a parameter, (t) is time, (s\in[0,s_{n+i}]), (i=1,2,3), (t\in[0,T]), and by the planes (t=0), (t=T), (x_1=P=\mathrm{const}), arranged as follows:

[
\sigma_T^{n+2}\cap\sigma_T^{n+3}=\varnothing
\quad(\varnothing\text{ is the empty set}),\quad
\sigma_T^{n+1}\cap{x_1=P}=\varnothing;
]

[
\sigma_T^{n+2}\big|{s=0}
=
\sigma_T^{n+2}\big|,
\quad
\sigma_T^{n+3}\big|{s=0}
=
\sigma_T^{n+3}\big|
\quad \text{for } t\in[0,T];
]

[
\sigma_T^{n+2}\big|{s=s}
=
\sigma_T^{n+1}\big|{s=0},
\quad
\sigma_T^{n+3}\big|}
=
\sigma_T^{n+1}\big|{s=s}
\quad \text{for } t\in[0,T].
]

We shall consider the case when in (D_T) there are (n_1) nonclosed phase fronts
[
\sigma_T^i\equiv {x_1=x_1^i(s,t),\, x_2=x_2^i(s,t)},
]
where (s) is a parameter, (s\in[0,s_i]), (i=1,\ldots,n_1), (t\in[0,T]), and moreover
[
\sigma_T^i\cap\sigma_T^{n+j},\quad i=1,2,\ldots,n_1,\quad j=2,3,
]
are smooth, continuous Jordan curves, and, in addition, there are (n_2) closed phase fronts
[
\sigma_T^i\equiv {x_1=x_1^i(s,t),\, x_2=x_2^i(s,t)},
]
(s) is a parameter, (s\in[0,s_i]), (t\in[0,T]),
[
\sigma_T^i\big|{s=0}=\sigma_T^i\big|,
\quad
i=n_1+1,\ldots,n_1+n_2,
]
such that
[
D_T^j\supset D_T^{j+1},
\quad
j=n_1+1,\ldots,n_1+n_2-1;
]
(D_T^j(D_T^{j+1})) is the domain* bounded by the closed front (\sigma_T^j(\sigma_T^{j+1})), (j=n_1+1,\ldots,n_1+n_2-1), and by the planes (t=0) and (t=T); and, in addition, in (D_T) there are (n_3) closed phase fronts
[
\sigma_T^i\equiv {x_1=x_1^i(s,t),\, x_2=x_2^i(s,t)},
]
(s) is a parameter, (s\in[0,s_i]),
[
\sigma_T^i\big|{s=0}=\sigma_T^i\big|,
\quad
i=n_1+n_2+1,\ldots,n_1+n_2+n_3,
]
such that
[
D_T^i\cap D_T^j=\varnothing
\quad \text{for } i\ne j;\quad
i,j=n_1+n_2+1,\ldots,n_1+n_2+n_3;
]
(D_T^i(D_T^j)) is the domain bounded by the closed front (\sigma_T^i(\sigma_T^j)) and by the planes (t=0) and (t=T).

We denote: a) by (D_T) the domain bounded by the surfaces (\sigma_T^{n+i}), (i=1,2,3), (\sigma_T^1), and by the planes (t=0) and (t=T); b) by (D_T^k), (k=1,2,\ldots,n_1-1), the domain bounded by the surfaces (\sigma_T^k), (\sigma_T^{k+1}), (\sigma_T^{n+2}), (\sigma_T^{n+3}), and by the planes (t=0), (t=T); c) by (D_T^k), (k=n_1+1,\ldots,n_1+n_2-1), the domain bounded by the surfaces (\sigma_T^k), (\sigma_T^{k+1}), and by the planes (t=0), (t=T); d) by (D_T^k), (k=n_1+n_2,\ldots,n_1+n_2+n_3), the domain bounded by the surface (\sigma_T^k) and

[
\text{* All domains, unless otherwise stated, are assumed to be closed.}
]

planes (t=0,\ t=T); d) (D_T^{n_1}=D_T\setminus \bigcup_{i=1}^{n_1-1}D_T^i \setminus \bigcup_{i=n_1+1}^{n_1+n_2+n_3}D_T^i).

Let (n_1+n_2+n_3=n) and (\sigma_T^i\cap\sigma_T^j=\varnothing) for (i\ne j,\ i,j=1,2,\ldots,n); (D_T^k\cap D_T^j=\varnothing) for (k=1,2,\ldots,n_1-1,\ j=n_1+1,\ldots,n).

It is required to find (u^k(x_1,x_2,t),\ x_i^k(s,t),\ i=1,2;\ k=1,\ldots,n), satisfying the conditions:

[
\sum_{i,j=1}^{2} a_{ij}^k(x_1,x_2,t)u^k_{x_i x_j}(x_1,x_2,t)
+\sum_{i=1}^{2} b_i^k(x_1,x_2,t)u^k_{x_i}(x_1,x_2,t)+
]
[
+c^k(x_1,x_2,t)u^k(x_1,x_2,t)+F^k(x_1,x_2,t)=u_t^k(x_1,x_2,t)
]
[
\text{in } D_T^k,\quad k=1,\ldots,n,
\tag{1}
]

[
\Lambda_0|\xi|^2\le \sum_{i,j=1}^{2}a_{ij}^k\xi_i\xi_j\le \Lambda_1|\xi|^2,\qquad
\Lambda_0,\Lambda_1-\mathrm{const}>0,
]

(a_{ij}^k(x_1,x_2,t);\ i,j=1,2,\ b_i^k(x_1,x_2,t),\ i=1,2,\ c^k(x_1,x_2,t),\ F^k(x_1,x_2,t),\ k=1,\ldots,n,) are defined in (D_T),

[
u^k(x_1,x_2,t)\big|_{t=0}=\varphi^k(x_1,x_2),\qquad
(x_1,x_2)\in D_0^k,\quad k=1,\ldots,n;
\tag{2}
]

[
u^k(x_1,x_2,t)\big|_{\sigma_T^{\gamma(k)}}=
\omega_k^{\gamma(k)}\bigl(x_1^{\gamma(k)}(s,t),x_2^{\gamma(k)}(s,t),t\bigr)
=\omega_k^{\gamma(k)}(s,t),
]

[
s\in[0,s_{\gamma(k)}],
]

[
t\in[0,T],\quad
\gamma(k)={k,k+1\ \text{for } k=1,2,\ldots,
]
[
\ldots,n_1-1,n_1+1,\ldots,n_1+n_2-1;\quad
k\ \text{for } n_1+n_2,n_1+n_2+1,\ldots
]
[
\ldots,n_1+n_2+n_3;\ n_1,n_1+1,n_1+n_2+1,\ldots,n+1\ \text{for } k=n_1};
\tag{3}
]

[
u^k(x_1,x_2,t)\big|_{\sigma_T^{n+i}}=
\omega_k^{n+i}\bigl(x_1^{n+i}(s,t),x_2^{n+i}(s,t),t\bigr)
=\omega_k^{n+i}(s,t),
]

[
t\in[0,T],\ s\in[s_k^{i+1}(t),s_{k+1}^{i+1}(t)],\ s_{n+1}^{i+1}(t)=s_{n+i+1},\quad
i=1,2;\ k=1,\ldots,n_1;
\tag{4}
]

(s_k^j(t)) is determined from
(\Phi^k(x_1^{n+j}(s,t),x_2^{n+j}(s,t),t)\equiv0,\quad k=1,2,\ldots,n_1,\ j=2,3,)
where (\Phi^k(x_1,x_2,t)=0) is the equation of the surface (\sigma_T^k,\ k=1,2,\ldots,n_1,) in Cartesian coordinates,

[
\partial x_i^k(s,t)/\partial t
=\overline{\lambda_i^k}^{\,k-1}(s,t)u_{x_i}^{k-1}(x_1^k(s,t),x_2^k(s,t),t)-
]
[
-\lambda_i^{kk}(s,t)u_{x_i}^k(x_1^k(s,t),\lambda_2^k(s,t)),
]

[
\overline{\lambda_i^{kj}}(s,t)=\lambda_i^{kj}(s,t,x_1^k(s,t),x_2^k(s,t)),\quad
u_{x_1}^0(x_1^1(s,t),x_2^1(s,t),t)\equiv1,
]

[
i=1,2,\quad j=k-1,k,\quad k=1,2,\ldots,n.
\tag{5}
]

Definition 1. A regular classical solution of problem (1)—(5) in (D_{T'},\ 0<T'\le T,) is a system of functions
(u^k(x_1,x_2,t),\ x_i^k(s,t),\ i=1,2;\ k=1,\ldots,n,) satisfying the following conditions:

[
u^k(x_1,x_2,t),\ u_{x_i}^k(x_1,x_2,t),\ u_{x_i x_j}^k(x_1,x_2,t),\ u_t^k(x_1,x_2,t),
]

[
u_{x_i t}^k(x_1,x_2,t),\ u_{x_i x_j x_\ell}^k(x_1,x_2,t)
]
are continuous in (D_T^k,\ k=1,2,3,\ldots,n;)

[
x_i^k(s,t),\ x_{is}^k(s,t),\ x_{iss}^k(s,t),\ x_{it}^k(s,t),\ x_{itt}^k(s,t),\ x_{ist}^k(s,t),\ i=1,2;\ k=1,\ldots,n,
]

are continuous for (s\in[0,s_k],\ t\in[0,T']), satisfy relations (1)—(5) and

a) ([x_{1s}^k(s,t)]^2+[x_{2s}^k(s,t)]^2\ne0) for (t\in[0,T'],\ s\in[0,s_k],\ k=1,\ldots,n;)

b) (\sigma_{T'}^i\cap\sigma_{T'}^j=\varnothing) for (i\ne j;\ i,j=1,2,\ldots,n;)

c) (\sigma_{T'}^1\cap{x_1=P}=\varnothing;)

d)
[
\Phi_{x_1}^k(x_1^{n+j}(s,t),x_2^{n+j}(s,t),t)x_{1s}^{n+j}(s,t)
+\Phi_{x_2}^k(x_1^{n+j}(s,t),
]
[
x_2^{n+j}(s,t),t)x_{2s}^{n+j}(s,t)\ne0,\quad
k=1,2,\ldots,n_1;\ j=2,3;\ t\in[0,T'],\ s\in[0,s_k].
]

Theorem 1. Let: 1) (\varphi^k(x_1,x_2)\omega_k^{\gamma(k)}(x_1,x_2,t)), (\omega_k^{n+i}(x_1,x_2,t)), (i=1,2,3); (a_{ij}^k(x_1,x_2,t)), (i,j=1,2); (k=1,\ldots,n), be three times continuously differentiable; 2) (\psi_i^k(s)), (\lambda_i^{kj}(s,t)), (F_k), (j=k,k-1), (x_i^{\,n+j}(s,t)), (j=1,2,3), (b_i^k(x_1,x_2,t)), (i=1,2), (k=1,\ldots,n), be twice continuously differentiable; 3) (c^k(x_1,x_2,t)) be continuously differentiable; 4)

[
[\psi_{1s}^{\,k}(s)]^2+[\psi_{2s}^{\,k}(s)]^2\geq \eta>0;
]

5)

[
f_{x_1}^k(\psi_1^{\,n+j}(s),\psi_2^{\,n+j}(s))\psi_{1s}^{\,n+j}(s)
+
f_{x_2}^k(\psi_1^{\,n+j}(s),\psi_2^{\,n+j}(s))\psi_{2s}^{\,n+j}(s)
\geq \eta'>0,\quad j=2,3,
]

where (s=s_k^j(0)), (f^k(x_1,x_2)=0) is the equation of the curve (x_1=\psi_1^k(s)), (x_2=\psi_2^k(s)), (k=1,2,\ldots,n_1), in Cartesian coordinates; 6)

[
\min_{s\in[0,s_1]} x_1^1(s,t)>P,
]

the conjugacy conditions are fulfilled:

[
\varphi^k(\psi_1^{\mu(k)}(s),\psi_2^{\mu(k)}(s))
=
\omega_k^{\mu(k)}(\psi_1^{\mu(k)}(s),\psi_2^{\mu(k)}(s),0),
\quad k=1,2,\ldots,n,
]

[
\varphi_{x_m}^k(\psi_1^{\mu(k)}(s),\psi_2^{\mu(k)}(s))
=
\omega_{kx_m}^{\mu(k)}(\psi_1^{\mu(k)}(s),\psi_2^{\mu(k)}(s),0),
\quad k=1,2,\ldots,n;\ m=1,2,
]

[
\omega_k^i(x_1^i[(j-2)s_i,t],x_2^i[(j-2)s_i,t],t)
=
\omega_k^{n+j}(x_1^{n+j}(s_i^j(t),t),x_2^{n+j}(s_i^j(t),t),t),
]

[
\omega_{kx_m}^i(x_1^i[(j-2)s_i,t],x_2^i[(j-2)s_i,t],t)
=
\omega_{kx_m}^{n+j}(x_1^{n+j}(s_i^j(t),t),x_2^{n+j}(s_i^j(t),t),t),
]

[
\omega_{kt}^i(x_1^i[(j-2)s_i,t],x_2^i[(j-2)s_i,t],t)
=
\omega_{kt}^{n+j}(x_1^{n+j}(s_i^j(t),t),x_2^{n+j}(s_i^j(t),t),t),
]

[
k=1,2,\ldots,n_1;\quad i=k,k+1\ \text{for } k\ne n_1;\quad i=n_1,n+1\ \text{for } k=n_1;\quad j=2,3,
]

[
\left[
\sum_{i,j=1}^{2} a_{ij}^k\varphi_{x_i x_j}^k(x_1,x_2)
+
\sum_{i=1}^{2} b_i^k\varphi_{x_i}^k(x_1,x_2)
+
c^k\varphi^k(x_1,x_2)
+
\sum_{i=1}^{2}(\varphi_{x_i}^k-\omega_{k}^{\mu(k)})x_{it}^{\mu(k)}(s,0)
=
\omega_{kt}^{\mu(k)}(s,0)
\right]_{x_1=\psi_1^{\mu(k)}(s),\ x_2=\psi_2^{\mu(k)}(s),\ t=0},
]

[
k=1,2,\ldots,n;
]

[
\mu(k)=[k,k+1,n+2,n+3\ \text{for } k=1,2,\ldots,n_1-1;
]

[
k,k+1\ \text{for } k=n_1+1,\ldots,n_1+n_2-1;\quad
k\ \text{for } k=n_1+n_2,\ldots,n;
]

[
n_1,n_1+1,n_1+n_2+1,\ldots,n+3\ \text{for } k=n_1].
]

Then any solution of problem (1)—(5) satisfies, by virtue of (7), a system of Volterra integral equations of the second kind:

[
v=V(v,x,x_s),\qquad
v_t=U(v,v_t,g,x,x_s,x_{ss}),
]

[
g=G(v,g,v_t,x,x_s,x_{ss}),\qquad
x=X(v,x),\qquad
x_s=Y(v,g,x,x_s),
\tag{6}
]

[
x_{ss}=Z(v,g,v_t,x,x_s,x_{ss}),
]

where

[
v_m^{kl}(s,t)=u_{x_m}^k(x_1^l(s,t),x_2^l(s,t)),\quad
v_{mt}^{kl}(st)=u_{x_mt}^k(x_1^l(s,t),x_2^l(s,t),t),
]

[
m=1,2,\quad
g_{mr}^{kl}(s,t)=u_{x_m x_r}^k(x_1^l(s,t),x_2^l(s,t),t),\quad
m,r=1,2;\quad k=1,2,\ldots,n
]

((l) takes the same values as (\mu(k))).

System (6) is written in symbolic form: the equations entering it are obtained from

[
u^k(x_1,x_2,t)
=
\iint_{D_0^k}\varphi^k(\xi_1,\xi_2)\Gamma_k\,d\xi_1\,d\xi_2
+
\sum_{\mu(k)}\iint_{\sigma_t^{\mu(k)}}\sum_{i=1}^{2}
\left[
\sum_{j=1}^{2}
\left(a_{ij}^k v_j^{k\mu(k)}\Gamma_k
-
\omega_k^{\mu(k)}a_{ij}^k\Gamma_{k\xi_j}
-
\omega_k^{\mu(k)}a_{ij\xi_j}^k\Gamma_k\right)
+
\omega_k^{\mu(k)}b_i^k\Gamma_k
\right]d\xi_{m(i)}\,d\tau
-
]

[

\sum_{\mu(k)}\iint_{\sigma_t^{\mu(k)}}\omega_k^{\mu(k)}(s,t)\Gamma_k\,d\xi_1\,d\xi_2
+
\iiint_{D_t^k}F_k\Gamma_k\,d\xi_1\,d\xi_2\,d\tau;\quad
k=1,\ldots,n,\quad m(i)=
]

[
=i-(-1)^i,\qquad i=1,2,
\tag{7}
]

and also from (5) and the remaining conditions of the problem. Here (\Gamma_k) is the fundamental solution of equation (1).

Definition 2. A regular classical solution of the system of integral equations (6) for (t \in [0,T)), (s \in [0,s_k]), (k=1,2,\ldots,n+3), is a system of functions
[
x_i^k(s,t),\quad x_{is}^k(st),\quad x_{iss}^k(s,t),\quad i=1,2;\quad k=1,\ldots,n,
]
[
v_i^{kl}(s,t),\quad v_{it}^{kl}(s,t),\quad g_{mr}^{kl}(s,t),
]
(i,m,r=1,2;\ k=1,\ldots,n) ((l) takes the same values as (\mu(k))), satisfying the conditions:
a) (x_i^k(s,t)), (x_{is}^k(s,t)), (x_{iss}^k(s,t)), (i=1,2;\ k=1,2,\ldots,n), are continuous for (s \in [0,s_k]), (t \in [0,T']), (k=1,2,\ldots,n);
b) (v_i^{kl}(s,t)), (g_{mr}^{kl}(s,t)), (v_{it}^{kl}(s,t)), (i,m,r=1,2;\ k=1,\ldots,n) ((l) takes the same values as (\mu(k))) are continuous for (s \in [0,s_k]), (k=1,2,\ldots,n+3), (t \in [0,T']), and satisfy relations (6) and relations a), b), c), d) of Definition 1.

Theorem 2. *Under the conditions of Theorem 1 there exists a (T'), (0