This article gives an existence theory for weak solutions of second order non-elliptic linear Dirichlet problems of the form
\begin{align*}
\nabla'P(x)\nabla u +{\bf HR}u+{\bf S'G}u +Fu &= f+{\bf T'g} \text{ in }\Theta
\\
u&=\varphi\text{ on }\partial \Theta.
\end{align*}
The principal part $\xi'P(x)\xi$ of the above equation is assumed to
be comparable to a quadratic form ${\mathcal Q}(x,\xi) = \xi'Q(x)\xi$ that
may vanish for non-zero $\xi\in\mathbb{R}^n$. This is achieved using
techniques of functional analysis applied to the degenerate Sobolev
spaces $QH^1(\Theta)=W^{1,2}(\Theta,Q)$ and
$QH^1_0(\Theta)=W^{1,2}_0(\Theta,Q)$ as defined in
previous works.
Sawyer and Wheeden give a regularity theory
for a subset of the class of equations dealt with here.

Habib Muzaffar of Carleton University has pointed out to the authors
that in their paper [A] only the result
\[
\pi_{K,d}(x)+\pi_{K^{-1},d}(x)=\frac{1}{h(d)}\frac{x}{\log
x}+O_{K,d}\Bigl(\frac {x}{\log^2x}\Bigr)
\]
follows from the prime ideal theorem with remainder for ideal classes,
and not the stronger result
\[
\pi_{K,d}(x)=\frac{1}{2h(d)}\frac{x}{\log
x}+O_{K,d}\Bigl(\frac {x}{\log^2x}\Bigr)
\]
stated in Lemma~5.2. This necessitates changes in Sections~5 and 6 of
[A]. The main results of the paper are not affected by these changes.
It should also be noted that, starting on page 177 of [A], each and
every occurrence of $o(s-1)$ should be replaced by $o(1)$.
Sections~5 and 6 of [A] have been rewritten to incorporate the above
mentioned correction and are given below. They should replace the
original Sections~5 and 6 of [A].

Let $\phi_1,\dots,\phi_n$ $(n\geq 2)$ be nonzero integers such that
the equation
$$
\sum_{i=1}^n \phi_i x_i^2 = 0
$$
is solvable in integers $x_1,\dots,x_n$ not all zero. It is shown
that there exists a solution satisfying
$$
0 < \sum_{i=1}^n |\phi_i| x_i^2 \leq 2 |\phi_1 \cdots \phi_n|,
$$
and that the constant 2 is best possible.