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 an Open Problem Related to the Strict Local Minima of Multilinear Objective Functions.

The Minkowski Problem in the Sphere

Local Regularity for Minimizers of Integral Functionals

ON ALMOST WELL-POSED MUTUALLY NEAREST AND MUTUALLY FURTHEST POINT PROBLEMS

On Well Posed Generalized Best Approximation Problems

On NP-Hardness of $L_1/L_2$ Minimization and Bound Theory of Nonzero Entries in Solutions

Spurious local minima in nonconvex sum-of-squares optimization

On the complexity of finding a local minimizer of a quadratic function over a polytope

Lipschitz continuity of solution multifunctions of extended $\ell_1$ regularization problems

Boundary points, Minimal $L^{2}$ integrals and Concavity property

A strict maximum principle for nonlocal minimal surfaces

Localised variants of multilinear restriction

Maximality of the sum of a maximally monotone linear relation and a maximally monotone operator

On modeling hard combinatorial optimization problems as linear programs: Refutations of the "unconditional impossibility" claims

On the weakest constraint qualification for sharp local minimizers

Weak Sharp Minima for Convex Infinite Optimization Problems in Normed Linear Spaces

On the local and global minimizers of the smooth stress function in Euclidean Distance Matrix problems

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

On the Hardness of Meaningful Local Guarantees in Nonsmooth Nonconvex Optimization

The local solubility for homogeneous polynomials with random coefficients over thin sets

Convex hulls of monomial curves, and a sparse positivstellensatz