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.

$\ell_1$ spreading models and the FPP for Cesàro mean nonexpansive maps

Fixed point for mappings of asymptotically nonexpansive type in Lebesgue spaces with variable exponents

On the complete separation of unique $\ell_{1}$ spreading models and the Lebesgue property of Banach spaces

On spaces admitting no $\ell_p$ or $c_0$ spreading model

Porous Sets for Mutually Nearest Points in Banach Spaces

Higher Order Spreading Models

Porosity and Fixed Points of Nonexpansive Set-Valued Maps

Spectral properties of generalized Cesàro operators in sequence spaces

BREGMAN DISTANCES AND KLEE SETS IN BANACH SPACES

Sequences in non-commutative L^p-spaces

The coarse geometry of Tsirelson's space and applications

Some results of fixed point of non-expansive mappings on asymmetric spaces

Common fixed point theorems for a commutative family of nonexpansive mappings in complete random normed modules

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

Retraction methods and fixed point free maps with null minimal displacements on unit balls

Banach spaces with many boundedly complete basic sequences failing PCP

Inexact FPPA for the $\ell_0$ Sparse Regularization Problem

On nonexpansiveness of metric projection operators on Wasserstein spaces

The $p$-Operator Approximation Property

Common Fixed Points of A Pair of Non-Expansive Mappings with Applications to Convex Feasibility Problems

Weak precompactness in projective tensor products