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.

The set of limits of Riemann integral sums of a multifunction and Banach space geometry

A Series of Convex Functions on a Banach Space

Integration of multifunctions with closed convex values in arbitrary Banach spaces

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

On the convergence of double integrals and a generalized version of Fubini’s theorem on successive integration

Products of Lipschitz-free spaces and applications

Convex-transitivity and function spaces

Covering $B_X$ by finitely many convex sets

Limits of vector lattices

Mixed limits of some functional spaces

Singular sets on spaces with integral curvature bounds and diffeomorphism finiteness for manifolds

The Set of Banach Limits and Its Discrete and Continuous Subsets

Equivalent Characterizations For Boundedness Of Maximal Singular Integrals On Ax Plus B-Groups

Decomposition of the set of Banach limits into discrete and continuous subsets

Banach Spaces with the Lebesgue Property of Riemann Integrability

Order isomorphisms of sup-stable function spaces: continuous, Lipschitz, c-convex, and beyond

On Inverse Limit Spaces of Maps of an Interval with Zero Entropy

Dyadic Sets, Maximal Functions And Applications On Ax Plus B-Groups

An integrability criterion for a projective limit of Banach distributions

Infinite Dimensional Multiplicity Free Spaces I: Limits of Compact Commutative Spaces