Abstract:Let $\Lambda$ be an open set in Banach space $E$, $M(x)$ for $x\in \Lambda$ a subspace in $E$, and $\mathcal F=\{M(x)\}_{x\in\Lambda}$. In this paper, we introduce the concept of the co-final set $J(x_0,E_*)$ for $\mathcal F$ at $x_0\in \Lambda$, then prove Frobenius theorem in Banach space where especially, $\mathrm{dim}\, M(x)$ maybe $\infty$. Using the Frobenius theorem, we prove a theorem in advanced calulus that presents several $c^1$ integrable family $\mathcal F$ at a point with $\mathrm{dim}\, M(x) =\infty$ and trivial co-final set. Let $\Lambda=B(E,F)\setminus\{0\},\ M(X)=\{T\in B(E,F) : TN(X)\subset R(X)\}$, and $\mathcal F=\{M(X)\}_{X\in\Lambda}$. The following theorem is proved using Frobenius theorem: if $A\in\Lambda$ is double splitting, then $\mathcal F$ at $A$ is smooth integrable where $J(A,E_*)$ is non-trivial in general. Specially we have the global result as follows, let $\Phi$ be any one of $F_k(k<\infty)$ and $\Phi_{m,n}(\min\{m,n\}<\infty)$, then $\Phi$ is smooth submanifold in $B(E,F)$ and tangent to $M(X)$ at any $X$ in $\Phi$. Due to the need of advanced science and technologies, such as advanced nano-technology, the best of information transit, they urgently need the extremum principle under non-regular constraints, we give such an extremum principle. Consider the $c^1$ nonlinear functional $f$ from $U$ to $(-\infty , \infty )$. Let $S$ be $c^1$ submanifold in $U$. we prove the following extremum principle of $f$ under the constraint $S$: if $x_0$ is an extreme point of $f$ under the constraint $S$, then $ T_{x_0}S\subset N(f'(x_0)).$ The principle establishes a broad mathematical basis of optimization theory under the non-regular and regular constraints.

On the infimum of the upper envelope of certain families of functions

On Functionals Bounded Below

Frobenius Theorem in Banach Space and an Extremum Principle of Real Functional under the Constraints of $c^1$ Submanifold in Banach Space

Minimax problems for ensembles of control-affine systems

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

Hörmander and Bernhardsson's extremal function I

Maximal equicontinuous factor and minimal map on finitely suslinean continua

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

On the Lower Bound of Energy Functionale1 (I)—A Stability Theorem on the Kähler Ricci Flow

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

Multiple critical points in closed sets via minimax theorems

Analysis of the vanishing discount limit for optimal control problems in continuous and discrete time

Lower semicontinuity and relaxation of nonlocal $L^\infty$-functionals

Inequalities for Maximal Operators Associated with a Family of General Sets

Optimality conditions and subdifferential calculus for infinite sums of functions

Existence, uniqueness and characterisation of local minimisers in higher order Calculus of Variations in $\mathrm L^{\infty}$

On isomorphisms of $\mathcal{C}(K)$ spaces and cardinal invariants of derivatives of $K$

A Theorem on Lower Semicontinuity of Integral Functionals

Functions on a convex set which are both $ ω$-semiconvex and $ ω$-semiconcave II

Ahlfors regularity of continua that minimize maxitive set functions

On Extremal Functions in Inequalities for Entire Functions