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 Convexity And Weak Closeness For The Set Of Phi-Superharmonic Functions

On convexity and weak closeness for the set of Φ-superharmonic functions

Regularity of the Homogeneous Monge-Ampère Equation

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

On Best Approximation by Nonconvex Sets and Perturbation of Nonconvex Inequality Systems in Hilbert Spaces.

Strong CHIP for Infinite System of Closed Convex Sets in Normed Linear Spaces

Convex Functions are $p$-Subharmonic Functions, $p >1$ On $\mathbb{R}^n$ with Applications

Super critical problems with concave and convex nonlinearities in $\mathbb R^N$

Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps

Hearing pseudoconvexity in Lipschitz domains with holes via $\overline\partial$

A characterization of the existence of zeros for operators with Lipschitzian derivative and closed range

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

On Strong Quasiconvexity of Functions in Infinite Dimensions

Sobolev space theory for the heat and time-fractional heat equations in non-smooth domains

Positive solutions for concave-convex type problems for the one-dimensional $ϕ$-Laplacian

Sobolev space theory for Poisson's equation in non-smooth domains via superharmonic functions and Hardy's inequality

Supersolutions and superharmonic functions for nonlocal operators with Orlicz growth

Generalized superharmonic functions with strongly nonlinear operator

A property of holomorphic functions related to plurisubharmonic functions

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

On convex to pseudoconvex mappings