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.

Two functional for which C0 1 minimizers are also W0 1,p minimizers

W 0 1, P(X) VERSUS C 1 LOCAL MINIMIZERS FOR NONSMOOTH FUNCTIONALS

Variations of a Class of Monge–Ampère-type Functionals and Their Applications

Local Regularity for Minimizers of Integral Functionals

Weak Compactness Criterion in $ W^{k, 1} $ with an Existence Theorem of Minimizers

New minimax theorems for lower semicontinuous functions and applications

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

Uniqueness of absolute minimizers for $L^\fz$-functionals involving Hamiltonians $H(x,p)$

Perelman's $W$-functional on manifolds with conical singularities

The Minimization of Piecewise Functions: Pseudo Stationarity

Existence and Limit Behavior of Constraint Minimizers for a Varying Non-Local Kirchhoff-Type Energy Functional

Sign Changing Critical Points for Locally Lipschitz Functionals

Continuity up to the boundary for minimizers of the one-phase Bernoulli problem

Two-phase almost minimizers for a fractional free boundary problem

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

Relaxation for degenerate nonlinear functionals in the onedimensional case

Lipschitz regularity for almost minimizers of a one-phase $p$-Bernoulli-type functional in Carnot Groups of step two

Lower Bound Theory of Nonzero Entries in Solutions of $\Ell_2$-$\Ell_p$ Minimization

Stability of the Caffarelli-Kohn-Nirenberg inequality: the existence of minimizers

Almost minimizers of the one-phase free boundary problem