Generalized conjugate function theorems for solutions of first-order elliptic systems on the plane

Our essential aim is to generalize Privoloff's theorem, Schwarz reflection principle, Kolmogorov's theorem and the theorem of M. Riesz for conjugate functions to the solutions of differential equations in the $z = x + iy$ plane of the following elliptic type:

$\frac{{\partial u}} {{\partial x}} - \frac{{\partial v}} {{\parti... ...\partial u}} {{\partial y}} + \frac{{\partial v}} {{\partial x}} = cu + dv + g.$

( (M))

Theorem 1. Let the coefficients of (M) be Hölder continuous on $\left\vert z \right\vert \leqslant 1$. Let $(u, v)$ be a solution of (M) in $\left\vert z \right\vert < 1$. If u is continuous on $\left\vert z \right\vert \leqslant 1$ and Hölder continuous with index $\alpha$ on $\left\vert z \right\vert = 1$, then $(u, v)$ is Höolder continuous with index $\alpha$ on $\left\vert z \right\vert \leqslant 1$.

Theorem 2. Let the coefficients of (M) be continuous on $\left\vert z \right\vert \leqslant 1$ and satisfy the condition

$\int_0^y {b(x,t)dt + \int_0^x {d(t,y)dt = \int_0^y {b(0,t)dt + \int_0^x {d(t,0)dt}}}}$

( (N))

for $\left\vert z \right\vert \leqslant 1$. And let ${\left\Vert f \right\Vert _p} = {\sup _{0 \leqslant r < 1}}\{ (1/2\pi )\int_{ ... ...i }^\pi {{{\left\vert {f(r{e^{i\theta }})} \right\vert}^p}d\theta {\} ^{1/p}}}$. Then to each p, $0 < p < \infty$, there correspond two constants ${A_p}$ and ${B_p}$ such that

hold for every solution $(u, v)$ of (M) in $\left\vert z \right\vert < 1$ with $v (0) = 0$. If $f \equiv g \equiv 0$, the theorem holds for ${B_p} = 0$. Furthermore, if b and d do not satisfy the condition (N) in $\left\vert z \right\vert \leqslant 1$, then we can relax the condition $v (0) = 0$, and still have the above inequalities.

Theorem 3. Let the coefficients of (M) be analytic for x, y in $\left\vert z \right\vert < 1$. Let $(u, v)$ be a solution of (M) in $\{ \left\vert z \right\vert < 1\} \cap \{ y > 0\}$. If u is continuous in $\{ \left\vert z \right\vert < 1\} \cap \{ y \geqslant 0\}$ and analytic on $\{ - 1 < x < 1\}$, then $(u,v)$ can be continued analytically across the boundary $\{ - 1 < x < 1\}$. Furthermore, if the coefficients and u satisfy some further boundary conditions, then $(u, v)$ can be continued analytically into the whole of $\{ \left\vert z \right\vert < 1\}$.