# Derivatives of the multipliers appearing in the Euler-Lagrange equation

(This is a crossed post where physical considerations can be helpful.)

Let $$\Omega\subset \mathbb{R}^2$$ be some simply connected domain and consider the functional

\begin{align} V\left[u(x,y),v(x,y),w(x,y)\right]=\int_\Omega dxdy\:\left(u_x v_y-u_y v_x\right)w, \end{align}

We wish to find the functions that maximize $$V$$ constrained to

\begin{align} (u_x)^2+(v_x)^2+(w_x)^2&=1\\ (u_y)^2+(v_y)^2+(w_y)^2&=1. \end{align}

If we introduce the multipliers $$\lambda_1$$ and $$\lambda_2$$ for the constraints, we have the Lagrangian

\begin{align} \mathcal{L}=\left(u_x v_y-u_y v_x\right)w-\frac{\lambda_1}{2}\Big[(u_x)^2+(v_x)^2+(w_x)^2-1 \Big]-\frac{\lambda_2}{2}\Big[(u_y)^2+(v_y)^2+(w_y)^2-1 \Big] \end{align}

\begin{align} 0&=u_x v_y-u_y v_x+\left(\lambda_1 w_x \right)_x+\left(\lambda_2 w_y \right)_y\\ 0&=-\left(wv_y-\lambda_1 u_x\right)_x+\left(wv_x+\lambda_2 u_y\right)_y\\ 0&=\left(wu_y+\lambda_1 v_x\right)_x-\left(w u_x-\lambda_2 v_y\right)_y \end{align}

The question is, how to solve for the multipliers $$\lambda_1$$ and $$\lambda_2$$ ?

In the typical classroom examples the constraints do not depend on the derivatives of the dependent variables, thus the derivatives of the multipliers don't appear in the equations and one can solve for them algebraically. Here, however, that's not the case.

(We impose just the boundary condition $$w\left(\partial \Omega\right)=0$$, leaving $$u$$ and $$v$$ free. This should not be relevant for the question, which is only about how to consistently eliminate the multipliers.)

The $$\lambda_i$$ in your system are constants, so $$(\lambda_1 v_x)_x= \lambda_1 \partial_x v_x$$.