A multiplier rule in abstract spaces. (Q2596902)

Es handelt sich um die Übertragung der Lagrangeschen Multiplikatorenregel auf Extremalprobleme in abstrakten Räumen. Das Bolzasche Variationsproblem \[ I(x_1, \,x_2, \,y, \,y')=g[x_1, \,y(x_1); \,x_2, \,y(x_2)] + \int\limits_{x_1}^{x_2} h[x, \,y(x), \,y'(x)] \,dx= \min \] unter den Nebenbedingungen \[ \begin{aligned} & \varphi_{\alpha}[x, \,y(x), \,y'(x)]=0 \quad (\alpha = 1, \ldots \!, r), \tag \(\text{a}\) \\ & \psi_k[x_1, \,y(x_1); \,x_2, \,y(x_2)]=0 \quad (k=1, \ldots \!, q) \tag \(\text{b}\) \end{aligned} \] für \(s > r\) Funktionen \(y_1(x), \ldots \!, y_s(x)\) wird so aufgefaßt: \[ \begin{aligned} \mathfrak{M} & = \{ \mu \} \text{ sei der Funktionsraum } (y'), \\ \mathfrak{N} & = \{ \nu \} \text{ sei der Funktionsraum } (y), \\ \mathfrak{X} & = \{ x \} \text{ sei der Raum der Werte } \left( x_1, \,x_2, \,y(x_1) \right). \end{aligned} \] Dann besteht die Transformationsgleichung \[ \nu=n(x, \, \mu), \] d. h.: \[ y_i(x)=y_i(x_1) + \int\limits_{x_1}^{x} y_i^{\prime} (x) \,dx \qquad (i=1, \,2, \ldots \!, s). \] \(I(x_1, \,x_2, \,y, \,y')\) werde dementsprechend als Funktional \(f(x, \, \mu)\) bezeichnet, während die Gleichungen (b) als \(\psi_k(x, \, \mu)=0\) und die linken Seiten der Gleichungen (a) als ein Funktional \(\varphi_1(x, \, \mu, \, \nu)\) aufgefaßt werden. In engem Anschluß an die Beweismethoden der Variationsrechnung ergibt sich unter sehr allgemeinen Voraussetzungen eine Multiplikatorenregel für die Aufgabe, \(f\) unter den Nebenbedingungen \[ \varphi_1 \left( x, \, \mu, \,n(x, \, \mu) \right)=0, \quad \psi_k(x_0, \, \mu_0)=0 \] zum Minimum zu machen. (IV 8 A.)