Abstract:The aim of this article is to study regularity properties of a local minimizer of a double phase functional of type being p ( x ) , a ( x ) log-continuous functions with p ( x ) > 1 , a ≥ 0 . Double phase functionals ∫ ( ∣ D u ∣ p + a ( x ) ∣ D u ∣ q ) d x , with constant exponents p and q ( q ≥ p ≥ 1 ) , appeared in the papers by Zhikov, and C 1 , α -regularity of their minimizers was given by Colombo and Mingione. Later, by Baroni, Colombo, and Mingione, the above type functionals with logarithm but with constant exponent, regularity properties were given. They obtained sharp regularity results for minimizers of such functionals. In this article, we treat the case that the exponents are functions of p ( x ) and partly generalize their regularity results.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to study the regularity properties of local minima of the double - phase functional with variable exponents. Specifically, the author focuses on the double - phase functional in the following form:
\[
\mathcal{F}(u)=\int_{\Omega}\left(|D u|^{p(x)}+a(x)|D u|^{q(x)} \log (e + |D u|)\right) d x
\]
where:
- \(p(x)\) and \(a(x)\) are log - continuous functions, and \(p(x)>1\), \(a(x)\geq0\).
- \(\Omega\) is a bounded domain.
- \(D u\) represents the gradient of the function \(u\).
### Background and motivation
The double - phase functional was first introduced by Zhikov et al. to describe the behavior of materials with strong anisotropy. Such functionals also have applications in problems such as non - Newtonian fluids and image segmentation. Colombo and Mingione et al. studied the regularity of minima of such functionals in the case of constant exponents. However, when the exponents \(p(x)\) and \(a(x)\) are variables, the regularity problem becomes more complex and requires new methods and techniques to handle.
### Main results
The author's main result is to prove that under certain conditions, the local minimum \(u\) of the above double - phase functional has Hölder continuity. Specifically, they prove the following theorem:
**Theorem 1.2**: Let \(\Omega\) be a bounded domain, and let \(a(x)\) and \(p(x)\) satisfy conditions (1.4) and (1.5), and \(l_a = l_p=0\). Assume that \(a(x)\geq0\), and \(1 < p_0 < p_3 <\infty\) (\(p_0\) and \(p_3\) are defined in (1.6)). If \(u\in W^{1,1}(\Omega)\) is a local minimum of the functional
\[
\mathcal{F}(u)=\int_{\Omega}\left(|D u|^{p(x)}+a(x)|D u|^{q(x)} \log (e + |D u|)\right) d x
\]
then \(u\) is locally Hölder continuous in \(\Omega\), that is, \(u\in C^{0,\alpha}_{\text{loc}}(\Omega)\) for any \(\alpha\in(0, 1)\). Moreover, if \(a(x)\) and \(p(x)\) are both Hölder continuous, then \(u\in C^{1,\gamma}_{\text{loc}}(\Omega)\) for some \(\gamma\in(0, 1)\).
### Method
To prove the above theorem, the author adopts the "freezing" technique, that is, freezing the exponents \(p(x)\) and \(a(x)\) at a fixed value, and then comparing the minimum of the original functional with the minimum of the frozen functional. By this method, the author can control the regularity of the minimum and finally prove the required Hölder continuity.
### Conclusion
This paper successfully solves the regularity problem of local minima of the double - phase functional with variable exponents, providing a new perspective and method for studying the regularity of non - standard growth functionals. These results are of great significance for understanding the behavior of strongly anisotropic materials and related application fields.