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 Extremal Functions in Inequalities for Entire Functions

An extremal problem and inequalities for entire functions of exponential type

On an Extremal Problem for Compactly Supported Positive Definite Functions

Extremal Problems of Bernstein-Type and an Operator Preserving Inequalities between Polynomials

M. Riesz-Schur-type inequalities for entire functions of exponential type

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

Some extremal problems related to Bell-type inequalities

Extremal functions on moduli spaces and applications

Extremal functions for a fractional Morrey inequality: Symmetry properties and limit at infinity

On $L^p$ extremals for Fourier extension estimate to fractional surface

Extremal function for a sharp Moser-Trudinger type inequality on the upper half space

The Extremals of Minkowski's Quadratic Inequality

Integral Inequalities for Entire Functions of Exponential Type in Morrey Spaces

A fractional Hardy-Sobolev type inequality with applications to nonlinear elliptic equations with critical exponent and Hardy potential

Inequalities for Maximal Operators Associated with a Family of General Sets

Tangential Extremal Principles for Finite and Infinite Systems of Sets, I: Basic Theory

An extreme function which is nonnegative and discontinuous everywhere

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

On a class of Hausdorff type operators on interval

New extremal principles with applications to stochastic and semi-infinite programming

Necessary conditions for the boundedness of fractional operators on variable Lebesgue spaces