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.

An extreme function which is nonnegative and discontinuous everywhere

On the notions of facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

An Electronic Compendium of Extreme Functions for the Gomory--Johnson Infinite Group Problem

On Extremal Functions in Inequalities for Entire Functions

On the Existence of an Extremal Function for the Delsarte Extremal Problem

Extremal functions on moduli spaces and applications

An extreme limit with nonnegative scalar

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

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

Arveson extreme points span free spectrahedra

An extremal problem and inequalities for entire functions of exponential type

On extremal nonexpansive mappings

An Extreme Limit with Nonnegative Scalar Curvature

Free extreme points span generalized free spectrahedra given by compact coefficients

On an Extremal Problem for Compactly Supported Positive Definite Functions

The Maximal Function of the Devil's Staircase is Absolutely Continuous

On the Extremal Functions of Acyclic Forbidden 0-1 Matrices

Extreme Points of the Set of Elements Majorised by an Integrable Function: Resolution of a Problem by Luxemburg and of Its Noncommutative Counterpart

Extremal problems in BMO and VMO involving the Garsia norm

Divergent operator with degeneracy and related sharp inequalities