Abstract:We investigate functionals defined on manifolds through parameterizations. If they are to be meaningful, from a geometrical viewpoint, they ought to be invariant under reparameterizations. Standard, local, integral functionals with this invariance property are well-known. We would like to focus though on the passage from a given arbitrary functional to its invariant realization or invariant hull through the use of inner-variations, much in the same way as with the convex or quasiconvex hulls of integrands in the vector Calculus of Variations. These two processes are, however, very different in nature. After examining some basic, interesting, general properties about the mutual relationship between a functional and its invariant realization, we deal with the one dimensional case to gain some initial familiarity with such a transformation and calculations, before proceeding to the higher dimensional situation. As one would anticipate, explicit computations in the latter are much harder to perform, if not impossible, as one is to work with vector variational problems. In particular, we are able to reach some modest conclusion about the volume functional of a piece of a manifold in the general $N$-dimensional situation, especially in the two-dimensional case $N=2$. Various problems and conjectures are stated along the way.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore how to generate the invariant realization or invariant hull from a given arbitrary functional by minimizing variable transformations of a specific class. Specifically, the paper focuses on how to transform from a given functional to its invariant realization through inner - variations. This process is similar to the convex hull or quasi - convex hull in vector variational problems, but is different in nature. The paper first examines the basic properties and calculation methods in the one - dimensional case, and then turns to the higher - dimensional case, especially dealing with the problems of two - dimensional and N - dimensional manifold volume functionals. The author also proposes some related problems and conjectures.
### Core Problems of the Paper
1. **Definition and Properties of Invariant Realization**:
- Research on how to generate the invariant realization \(I_i(u)\) from an arbitrary functional \(I(u)\), that is, a functional that remains invariant under parameter transformation.
- Explore the relationship between \(I(u)\) and \(I_i(u)\), especially whether the minimum values of the two are the same under certain specific conditions.
2. **Calculation in the One - Dimensional Case**:
- Through specific examples, such as length functionals and quadratic functionals, show how to calculate the invariant realization in the one - dimensional case.
- Analyze the invariant realizations of different types of functionals (such as \(W(u) = |u|\) and \(W(u)=\frac{1}{2}|u|^2\)) and discuss their properties.
3. **Complexity in the High - Dimensional Case**:
- Explore the computational difficulty of the invariant realization in the high - dimensional case, especially for two - dimensional and N - dimensional manifold volume functionals.
- Propose some specific conclusions and conjectures about the invariant realization in the high - dimensional case, especially in the case of \(N = 2\).
### Specific Problems
- **Problem 1.1**: Look for a density function \(w(v):\mathbb{R}^3\rightarrow\mathbb{R}\) that satisfies certain conditions, and a suitable class of mappings \(U\), so that the variational problem
\[
\text{Minimize in }u\in U:\int_{\Omega}w\left(\frac{\partial u}{\partial x_1}(x)\wedge\frac{\partial u}{\partial x_2}(x)\right)dx
\]
has a minimum value.
- **Problem 2.5**: Given a related invariant functional \(I\) defined on a certain family of manifolds \(M\), find another functional \(\tilde{I}\) such that it is convex and coercive on \(M\), and \(\tilde{I}_i = I\).
### Main Conclusions
- **Theorem 3.1**: For the one - dimensional case, if \(W(v):\mathbb{R}^m\rightarrow\mathbb{R}\) is radially strictly convex and smooth, then its invariant realization \(I_i(u)\) can be explicitly calculated.
- **Theorem 5.2**: For a specific two - dimensional case, when \(I(u)=\frac{1}{2}\int_{\Omega}|\nabla u(x)|^2dx\), its invariant realization \(I_i(u)\) can be explicitly represented as the area functional \(\int_{\Omega}|u_1(x)\wedge u_2(x)|dx\).
### Significance
- This research provides a new perspective for understanding the invariance of functionals in geometric variational problems.
- Through specific calculations and theoretical analysis, it shows how to generate the invariant realization from an arbitrary functional, which is of great significance for dealing with complex geometric and physical problems.
Hope this information is helpful for you to understand the core problems of the paper! If there are more specific questions or areas that need further explanation, please feel free to let me know.