For every , the existence result in Question 2 applies to the identity coefficient matrix: is bounded, symmetric and uniformly elliptic. It gives a unique satisfying
Thus every input has exactly one output and . The weak Dirichlet theorem used here requires only a bounded open set; no smoothness of its boundary is needed.
If and , linearity of the weak equation makes solve the equation with forcing . Uniqueness therefore gives .
Test the equation for with itself. The Poincaré inequality yields
If the gradient norm is nonzero, divide by it; if it is zero, Poincare gives and the estimate is automatic. In either case
Hence is a bounded linear operator. Notice that the energy identity has a minus sign, so . Testing the equations for and against each other gives . Thus the bounded Dirichlet inverse is a negative self-adjoint operator on .
For finite , choose
Since and , we have . The zero-boundary versions of the Sobolev embedding theorem and Rellich-Kondrachov compactness theorem say that embeds continuously into and compactly into for on a bounded open set. These versions hold on arbitrary bounded open sets by zero extension; a boundary extension operator is not needed.
If is bounded in , then is bounded in by the preceding part. A subsequence consequently converges in to some . Hölder's inequality gives
Multiplication by is bounded from to , and the same estimate proves that is bounded and well defined. Every bounded input sequence has a subsequence whose images converge in , so . If is included, take and use the same argument. This is the compact L2 potential perturbation of the Dirichlet Laplacian mechanism.
First, multiplication by maps into by the Hölder and Sobolev estimates just given. Thus a weak solution of the perturbed equation has . Uniqueness for the unperturbed Dirichlet problem gives . Its equation becomes
Conversely, if this equation has a solution , then belongs to and satisfies weakly. These constructions are inverse to one another.
The Fredholm alternative for a compact operator states that, on a Banach space, for compact is bijective if and only if its kernel is zero; in that case its inverse is bounded. Apply it on . Kernels correspond under : a nonzero with gives a nonzero , since ; a nonzero homogeneous solution gives , which cannot be zero because a zero-boundary harmonic weak solution is zero. Therefore triviality of the homogeneous PDE kernel is equivalent to triviality of and hence to unique solvability for every . The reverse implication also follows immediately by taking . No sign assumption on is required.

Articles by others on the same topic (0)

There are currently no matching articles.