No label defined (Q4220108)

[For the entire collection see Zbl 0869.00011.] The article deals with the system of equations \[ \begin{aligned} v_{xt}+ a(x, t)v_t= f_1(x, t, v, v_x), &\quad (x, t) \in D_1,\\ u_{xx} - u_t= f_2(x, t, u, u_x), &\quad (x, t) \in D_2, \end{aligned} \tag{1} \] where \(D_1= \{ (x, t): X_1(t)< x< 0\), \(0< t< T \}\), \(D_2= \{ (x, t): 0< x< X_2(t)\), \(0< t \leq T \}\), with given functions \(x= X_i(t)\), \(i= 1, 2\), such that \(X_1(0)= -l\), \(X_2(0)= l\). The functions \(X_i(t)\) are assumed to be continuously differentiable, and \(X_1(t)\) is assumed to be a monotone function. Moreover, it is supposed that the graphs of both functions do not intersect the axis \(x= 0\) on the interval \([0, T]\). The boundary value problem consists in finding a smooth solution \(u(x, t)\), \(v(x, t)\) to system (1) satisfying some boundary conditions (nonlinear in general). The kind of the conditions posed depends on the character of monotonicity of \(X_1(t)\). Moreover, the conjunction conditions \[ u(0, t)= v(0, t),\quad u_x(0, t)= v_x(0, t), \qquad 0 \leq t \leq T \] are required to hold. Uniqueness of the solution to the above problem is proven directly on the basis of the extremum principle under some natural conditions on the input data of the problem. In order to prove the existence theorem, the author reduces the problem to an equivalent system of integral equations whose solvability follows from the Schauder principle.