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 Existence of an Extremal Function for the Delsarte Extremal Problem

On extremal problems of Delsarte type for positive definite functions on LCA groups

An extremal problem and inequalities for entire functions of exponential type

Extremal length and duality

An extreme function which is nonnegative and discontinuous everywhere

Extremal functions on moduli spaces and applications

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

On an Extremal Problem for Compactly Supported Positive Definite Functions

Extremal domains in $\mathbb{S}^2$: Geometric and Analytic methods

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

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

On Extremal Functions in Inequalities for Entire Functions

A remark on the relative extremal function

Extremals on Lie groups with asymmetric polyhedral Finsler structures

On extremal nonexpansive mappings

Extremizers of the $J$ functional with respect to the $d_1$ metric

Extremal affine surface areas in a functional setting

Uniform boundedness on extremal subsets in Alexandrov spaces

Extremal problems for surfaces of prescribed topological type (1)

Extremal Problems For Quasiconformal Maps Of Punctured Plane Domains

Existence results for mixed local and nonlocal elliptic equations involving singularity and nonregular data