1: \begin{definition}[Discrete solution]

2: %

3: The function $y_h \in V_h$ is called discrete solution, or Galerkin Approximaton, to the Helmholtz equation 

4: %%

5: %\begin{align*}

6: %\begin{matrix}\left\{

7: %\begin{matrix}

8: %-\Delta y_h -\left( \frac{\zeta}{c} \right)^2 y_h & = \tau(u) & \text{ in }D,  \\

9: %\partial_\nu y_h -i\frac{ \zeta \rho}{\gamma_{\zeta}} y_h & = 0 & \text{ on }\Gamma_Z, \\

10: %\partial_\nu y_h & =g & \text{ on }\Gamma_N,

11: %\end{matrix}

12: %\right.

13: %\end{matrix}

14: %\end{align*}

15: if it satisfies

16: \begin{align} \label{eq:discreteHH}

17: \begin{split}

18: \int\limits_D \nabla y_h \nabla \overline{v}_h - \left(\frac{\zeta}{c}\right)^2 y_h \overline{v}_h ~ dx - \frac{i \zeta \rho}{\gamma_{\zeta}}\int\limits_{\Gamma_Z} y_h\overline{v}_hdS(x) 

19: = \int\limits_D \tau(u) \overline{v}_h dx + \int\limits_{\Gamma_N} g \overline{v}_h dS(x) 

20: \end{split}

21: \end{align}

22: for all $v_h \in V_h$. This is essentially the weak formulation \eqref{Def:Weaksolution} with a different test function space. We prove existence and uniqueness of solutions to \eqref{eq:discreteHH} in Theorem \ref{thm:discretized_hh_has_solution}.

23: % Similarly we are able to define a discrete solution to the adjoint equation changing $-\frac{i \zeta \rho}{\gamma_{\zeta}}$ to $\frac{i \zeta \rho}{\bar{\gamma}_{\zeta}}$ and replacing $\tau(u)$ by some $f\in L^2(D)$. 

24: \end{definition}

25: