-
Hodge Decomposition and Potentials in Variable Exponent Lebesgue and Sobolev Spaces
Authors:
Anna Balci,
Swarnendu Sil,
Mikhail Surnachev
Abstract:
The objective of this work is to establish a systematic study of boundary value problems within the framework of differential forms and variable exponent spaces. Specifically, we investigate the Hodge Laplacian and related first order systems like the div-curl systems, Hodge-Dirac systems, and Bogovskii-type problems in the context of variable exponent spaces. Our approach yields both existence th…
▽ More
The objective of this work is to establish a systematic study of boundary value problems within the framework of differential forms and variable exponent spaces. Specifically, we investigate the Hodge Laplacian and related first order systems like the div-curl systems, Hodge-Dirac systems, and Bogovskii-type problems in the context of variable exponent spaces. Our approach yields both existence theorems and elliptic estimates. These estimates provide key results such as the Hodge decomposition theorem, Gaffney inequality, and gauge fixing. These findings are crucial for advancing the nonlinear theory related to problems involving differential forms.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Excess decay for quasilinear equations in the Heisenberg group and consequences
Authors:
Arka Mallick,
Swarnendu Sil
Abstract:
We study regularity results for the solutions of quasilinear subelliptic $p$-Laplace type equation in Heisenberg groups. We prove somewhat surprising excess decay estimates for the constant coefficient homogeneous equation. Excess decay estimates, while well known in the Euclidean case, due to the celebrated works of Uraltseva and Uhlenbeck, was not known in the setting of Heisenberg groups until…
▽ More
We study regularity results for the solutions of quasilinear subelliptic $p$-Laplace type equation in Heisenberg groups. We prove somewhat surprising excess decay estimates for the constant coefficient homogeneous equation. Excess decay estimates, while well known in the Euclidean case, due to the celebrated works of Uraltseva and Uhlenbeck, was not known in the setting of Heisenberg groups until now and this lack of excess decay estimate is often attributed to the noncommutativity of the horizontal vector fields. Our results show that, in spite of the this noncommutative feature, excess decay estimates analogous to the Euclidean case hold.
To illustrate the potency of our excess decay estimates, we prove two results. First is a Hölder continuity result that extends the presently known results to the full range $1< p < \infty.$ The second is a sharp borderline continuity result for the horizontal gradient of the solution. More precisely, we show that if $u \in HW_{\text{loc}}^{1,p}$ satisfies $$\operatorname{div}_{\mathbb{H}} \left( a(x) \lvert \mathfrak X u \rvert^{p-2} \mathfrak X u \right) \in L^{(Q,1)}_{\text{loc}}$$ in a domain of $\mathbb{H}_{n},$ where $\mathbb{H}_{n}$ is the Heisenberg group with homogeneous dimension $Q=2n+2,$ for $1 < p < \infty, $ with uniformly positive, bounded, Dini continuous scalar function $a$, then $\mathfrak X u$ is continuous. This generalizes the classical result by Stein and the work of Kuusi-Mingione for linear and quasilinear equations, respectively, in the Euclidean case and Folland-Stein for the linear case in the Heisenberg group setting. This result is new even when either $a$ is constant or when the equation is homogeneous.
△ Less
Submitted 1 October, 2024;
originally announced October 2024.
-
Morrey-Lorentz estimates for Hodge-type systems
Authors:
Banhirup Sengupta,
Swarnendu Sil
Abstract:
We prove up to the boundary regularity estimates in Morrey-Lorentz spaces for weak solutions of the linear system of differential forms with regular anisotropic coefficients
\begin{equation*}
d^{\ast} \left( A dω\right) + B^{\intercal}d d^{\ast} \left( Bω\right) = λBω+ f \text{ in } Ω,
\end{equation*}
with either $ ν\wedge ω$ and $ν\wedge d^{\ast} \left( Bω\right)$ or $ν\lrcorner Bω$ and…
▽ More
We prove up to the boundary regularity estimates in Morrey-Lorentz spaces for weak solutions of the linear system of differential forms with regular anisotropic coefficients
\begin{equation*}
d^{\ast} \left( A dω\right) + B^{\intercal}d d^{\ast} \left( Bω\right) = λBω+ f \text{ in } Ω,
\end{equation*}
with either $ ν\wedge ω$ and $ν\wedge d^{\ast} \left( Bω\right)$ or $ν\lrcorner Bω$ and
$ν\lrcorner \left( A dω\right)$ prescribed on $\partialΩ.$ We derive these estimates from the $L^{p}$ estimates obtained in \cite{Sil_linearregularity} in the spirit of Campanato's method. Unlike Lorentz spaces, Morrey spaces are neither interpolation spaces nor rearrangement invariant. So Morrey estimates can not be obtained directly from the $L^{p}$ estimates using interpolation. We instead adapt an idea of Lieberman \cite{Lieberman_morrey_from_Lp} to our setting to derive the estimates. Applications to Hodge decomposition in Morrey-Lorentz spaces, Gaffney type inequalities and estimates for related systems such as Hodge-Maxwell systems and `div-curl' systems are discussed.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Topology and approximation of weak $G$-bundles in the supercritical dimensions
Authors:
Swarnendu Sil
Abstract:
For analyzing stationary Yang-Mills connections in higher dimensions, one has to work with Morrey-Sobolev bundles and connections. The transition maps for a Morrey-Sobolev principal $G$-bundles are not continuous and thus the usual notion of topology does not make sense. In this work, we develop the notion of a topological isomorphism class for a bundle-connection pair $\left( P, A\right)$ and use…
▽ More
For analyzing stationary Yang-Mills connections in higher dimensions, one has to work with Morrey-Sobolev bundles and connections. The transition maps for a Morrey-Sobolev principal $G$-bundles are not continuous and thus the usual notion of topology does not make sense. In this work, we develop the notion of a topological isomorphism class for a bundle-connection pair $\left( P, A\right)$ and use these notions to derive several approximability results for bundles and connections in the Morrey-Sobolev setting. Our proofs follow a connection-oriented approach and also highlight the fact that in the low regularity regime, the regularity of the bundle and connection are intertwined. Our results parallels the theory of the topological degree and approximation results for manifold-valued $\mathrm{VMO}$ maps.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
BMO estimates for Hodge-Maxwell systems with discontinuous anisotropic coefficients
Authors:
Dharmendra Kumar,
Swarnendu Sil
Abstract:
We prove up to the boundary $\mathrm{BMO}$ estimates for linear Maxwell-Hodge type systems for $\mathbb{R}^{N}$-valued differential $k$-forms $u$ in $n$ dimensions
\begin{align*}
\left\lbrace \begin{aligned}
d^\ast \left( A(x) du \right) &= f &&\text{ in } Ω,
d^\ast \left( B(x) u\right) &= g &&\text{ in } Ω,
\end{aligned}
\right.
\end{align*}
with $ ν\wedge u$ prescribed on…
▽ More
We prove up to the boundary $\mathrm{BMO}$ estimates for linear Maxwell-Hodge type systems for $\mathbb{R}^{N}$-valued differential $k$-forms $u$ in $n$ dimensions
\begin{align*}
\left\lbrace \begin{aligned}
d^\ast \left( A(x) du \right) &= f &&\text{ in } Ω,
d^\ast \left( B(x) u\right) &= g &&\text{ in } Ω,
\end{aligned}
\right.
\end{align*}
with $ ν\wedge u$ prescribed on $\partialΩ,$ where the coefficient tensors $A,B$ are only required to be bounded measurable and in a class of `small multipliers of BMO'. This class neither contains nor is contained in $C^{0}.$ Since the coefficients are allowed to be discontinuous, the usual Korn's freezing trick can not be applied. As an application, we show BMO estimates hold for the time-harmonic Maxwell system in dimension three for a class of discontinuous anisotropic permeability and permittivity tensors. The regularity assumption on the coefficient is essentially sharp.
△ Less
Submitted 5 August, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Similarity reductions, new traveling wave solutions, conservation laws of (2+1)- dimensional Boiti-Leon-Pempinelli system
Authors:
Subhankar Sil,
T. Raja Sekhar
Abstract:
In this article we obtain exact solutions of (2+1)-dimensional Boiti-Leon-Pempinelli system of nonlinear partial differential equations which describes the evolution of horizontal velocity component of water waves propagating in two directions. We perform the Lie symmetry analysis to the given system and construct one-dimensional optimal subalgebra which involves some arbitrary functions of spatia…
▽ More
In this article we obtain exact solutions of (2+1)-dimensional Boiti-Leon-Pempinelli system of nonlinear partial differential equations which describes the evolution of horizontal velocity component of water waves propagating in two directions. We perform the Lie symmetry analysis to the given system and construct one-dimensional optimal subalgebra which involves some arbitrary functions of spatial variables. Several new exact solutions are obtained by symmetry reduction using each of the optimal subalgebra. We then study the physical behavior of some exact solutions by numerical simulations and observed many interesting phenomena such as traveling waves, lump type solitons, kink and anti-kink type solitons, breather solitons, singular kink type solitons and etc. We construct several conservation laws of the system by using multipliers method. As an application, we study the nonlocal conservation laws of the system by constructing potential systems and appending gauge constraints.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Limiting absorption principle and well-posedness for the time-harmonic Maxwell equations with anisotropic sign-changing coefficients
Authors:
Hoai Minh Nguyen,
Swarnendu Sil
Abstract:
We study the limiting absorption principle and the well-posedness of Maxwell equations with anisotropic sign-changing coefficients in the time-harmonic domain. The starting point of the analysis is to obtain Cauchy problems associated with two Maxwell systems using a change of variables. We then derive a priori estimates for these Cauchy problems using two different approaches. The Fourier approac…
▽ More
We study the limiting absorption principle and the well-posedness of Maxwell equations with anisotropic sign-changing coefficients in the time-harmonic domain. The starting point of the analysis is to obtain Cauchy problems associated with two Maxwell systems using a change of variables. We then derive a priori estimates for these Cauchy problems using two different approaches. The Fourier approach involves the complementing conditions for the Cauchy problems associated with two elliptic equations, which were studied in a general setting by Agmon, Douglis, and Nirenberg. The variational approach explores the variational structure of the Cauchy problems of the Maxwell equations. As a result, we obtain general conditions on the coefficients for which the limiting absorption principle and the well-posedness hold. Moreover, these {\it new} conditions are of a local character and easy to check. Our work is motivated by and provides general sufficient criteria for the stability of electromagnetic fields in the context of negative-index metamaterials.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Topology of weak $G$-bundles via Coulomb gauges in critical dimensions
Authors:
Swarnendu Sil
Abstract:
The transition maps for a Sobolev $G$-bundle are not continuous in the critical dimension and thus the usual notion of topology does not make sense. In this work, we show that if such a bundle $P$ is equipped with a Sobolev connection $A$, then one can associate a topological isomorphism class to the pair $\left( P, A\right),$ which is invariant under Sobolev gauge changes and coincides with the u…
▽ More
The transition maps for a Sobolev $G$-bundle are not continuous in the critical dimension and thus the usual notion of topology does not make sense. In this work, we show that if such a bundle $P$ is equipped with a Sobolev connection $A$, then one can associate a topological isomorphism class to the pair $\left( P, A\right),$ which is invariant under Sobolev gauge changes and coincides with the usual notions for regular bundles and connections. This is based on a regularity result which says any bundle in the critical dimension in which a Sobolev connection is in Coulomb gauges are actually $C^{0,α}$ for any $α< 1.$ We also show any such pair can be strongly approximated by smooth connections on smooth bundles. Finally, we prove that for sequences $(P^ν,A^ν)$ with uniformly bounded $n/2$-Yang-Mills energy, the topology stabilizes if the $n/2$ norm of the curvatures are equiintegrable. This implies a criterion to detect topological flatness in Sobolev bundles in critical dimensions via $n/2$-Yang-Mills energy.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Nonlinear Stein theorem for differential forms
Authors:
Swarnendu Sil
Abstract:
We prove that if $u$ is an $\mathbb{R}^{N}$-valued $W^{1,p}_{loc}$ differential $k$-form with $δ\left( a(x) \lvert du \rvert^{p-2} du \right) \in L^{(n,1)}_{loc}$ in a domain of $\mathbb{R}^{n}$ for $N \geq 1,$ $n \geq 2,$ $0 \leq k \leq n-1, $ $1 < p < \infty, $ with uniformly positive, bounded, Dini continuous scalar function $a$, then $du$ is continuous. This generalizes the classical result by…
▽ More
We prove that if $u$ is an $\mathbb{R}^{N}$-valued $W^{1,p}_{loc}$ differential $k$-form with $δ\left( a(x) \lvert du \rvert^{p-2} du \right) \in L^{(n,1)}_{loc}$ in a domain of $\mathbb{R}^{n}$ for $N \geq 1,$ $n \geq 2,$ $0 \leq k \leq n-1, $ $1 < p < \infty, $ with uniformly positive, bounded, Dini continuous scalar function $a$, then $du$ is continuous. This generalizes the classical result by Stein in the scalar case and the work of Kuusi-Mingione for the $p$-Laplacian type systems. We also discuss Hölder, BMO and VMO regularity estimates for such systems when $p \geq 2.$
△ Less
Submitted 6 May, 2019; v1 submitted 1 October, 2018;
originally announced October 2018.
-
Regularity for elliptic systems of differential forms and applications
Authors:
Swarnendu Sil
Abstract:
We prove existence and up to the boundary regularity estimates in $L^{p}$ and Hölder spaces for weak solutions of the linear system $$ δ\left( A dω\right) + B^{T}dδ\left( Bω\right) = λBω+ f \text{ in } Ω, $$ with either $ ν\wedge ω$ and $ν\wedge δ\left( Bω\right)$ or $ν\lrcorner Bω$ and $ν\lrcorner \left( A dω\right)$ prescribed on $\partialΩ.$ The proofs are in the spirit of `Campanato method' an…
▽ More
We prove existence and up to the boundary regularity estimates in $L^{p}$ and Hölder spaces for weak solutions of the linear system $$ δ\left( A dω\right) + B^{T}dδ\left( Bω\right) = λBω+ f \text{ in } Ω, $$ with either $ ν\wedge ω$ and $ν\wedge δ\left( Bω\right)$ or $ν\lrcorner Bω$ and $ν\lrcorner \left( A dω\right)$ prescribed on $\partialΩ.$ The proofs are in the spirit of `Campanato method' and thus avoid potential theory and do not require a verification of Agmon-Douglis-Nirenberg or Lopatinskiĭ-Shapiro type conditions. Applications to a number of related problems, such as general versions of the time-harmonic Maxwell system, stationary Stokes problem and the `div-curl' systems, are included.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Calculus of Variations: A Differential Form Approach
Authors:
Swarnendu Sil
Abstract:
We study integrals of the form $\int_Ωf\left( dω_1 , \ldots , dω_m \right), $ where $m \geq 1$ is a given integer, $1 \leq k_{i} \leq n$ are integers and $ω_{i}$ is a $(k_{i}-1)$-form for all $1 \leq i \leq m$ and $ f:\prod_{i=1}^m Λ^{k_i}\left( \mathbb{R}^{n}\right) \rightarrow\mathbb{R}$ is a continuous function. We introduce the appropriate notions of convexity, namely vectorial ext. one convex…
▽ More
We study integrals of the form $\int_Ωf\left( dω_1 , \ldots , dω_m \right), $ where $m \geq 1$ is a given integer, $1 \leq k_{i} \leq n$ are integers and $ω_{i}$ is a $(k_{i}-1)$-form for all $1 \leq i \leq m$ and $ f:\prod_{i=1}^m Λ^{k_i}\left( \mathbb{R}^{n}\right) \rightarrow\mathbb{R}$ is a continuous function. We introduce the appropriate notions of convexity, namely vectorial ext. one convexity, vectorial ext. quasiconvexity and vectorial ext. polyconvexity. We prove weak lower semicontinuity theorems and weak continuity theorems and conclude with applications to minimization problems. These results generalize the corresponding results in both classical vectorial calculus of variations and the calculus of variations for a single differential form.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
On the best constant in {G}affney inequality
Authors:
Gyula Csato,
Bernard Dacorogna,
Swarnendu Sil
Abstract:
We discuss the value of the best constant in Gaffney inequality namely
$$ \lVert \nabla ω\rVert_{L^{2}}^{2}\leq C\left( \lVert dω\rVert_{L^{2}}^{2}+\lVert δω\rVert_{L^{2}% }^{2}+\lVert ω\rVert_{L^{2}}^{2}\right) $$ when either $ν\wedgeω=0$ or $ν\,\lrcorner\,ω=0$ on $\partialΩ.$
We discuss the value of the best constant in Gaffney inequality namely
$$ \lVert \nabla ω\rVert_{L^{2}}^{2}\leq C\left( \lVert dω\rVert_{L^{2}}^{2}+\lVert δω\rVert_{L^{2}% }^{2}+\lVert ω\rVert_{L^{2}}^{2}\right) $$ when either $ν\wedgeω=0$ or $ν\,\lrcorner\,ω=0$ on $\partialΩ.$
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Notions of affinity in calculus of variations with differential forms
Authors:
Saugata Bandyopadhyay,
Swarnendu Sil
Abstract:
Ext-int.\ one affine functions are functions affine in the direction of one-divisible exterior forms, with respect to exterior product in one variable and with respect to interior product in the other. The purpose of this article is to prove a characterization theorem for this class of functions, which plays an important role in the calculus of variations for differential forms.
Ext-int.\ one affine functions are functions affine in the direction of one-divisible exterior forms, with respect to exterior product in one variable and with respect to interior product in the other. The purpose of this article is to prove a characterization theorem for this class of functions, which plays an important role in the calculus of variations for differential forms.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Exterior convexity and classical calculus of variations
Authors:
Saugata Bandyopadhyay,
Swarnendu Sil
Abstract:
We study the relation between various notions of exterior convexity introduced in Bandyopadhyay-Dacorogna-Sil \cite{BDS1} with the classical notions of rank one convexity, quasiconvexity and polyconvexity. To this end, we introduce a projection map, which generalizes the alternating projection for two-tensors in a new way and study the algebraic properties of this map. We conclude with a few simpl…
▽ More
We study the relation between various notions of exterior convexity introduced in Bandyopadhyay-Dacorogna-Sil \cite{BDS1} with the classical notions of rank one convexity, quasiconvexity and polyconvexity. To this end, we introduce a projection map, which generalizes the alternating projection for two-tensors in a new way and study the algebraic properties of this map. We conclude with a few simple consequences of this relation which yields new proofs for some of the results discussed in Bandyopadhyay-Dacorogna-Sil \cite{BDS1}.
△ Less
Submitted 13 December, 2017; v1 submitted 1 December, 2017;
originally announced December 2017.
-
Calculus of Variations with Differential Forms
Authors:
Saugata Bandyopadhyay,
Bernard Dacorogna,
Swarnendu Sil
Abstract:
We study integrals of the form $\int_Ωf\left( dω\right)$, where $1\leq k\leq n$, $f:Λ^{k}\rightarrow\mathbb{R}$ is continuous and $ω$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity, namely ext. one convexity, ext. quasiconvexity and ext. polyconvexity. We study their relations, give several examples and counterexamples. We finally conclude with an application to a…
▽ More
We study integrals of the form $\int_Ωf\left( dω\right)$, where $1\leq k\leq n$, $f:Λ^{k}\rightarrow\mathbb{R}$ is continuous and $ω$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity, namely ext. one convexity, ext. quasiconvexity and ext. polyconvexity. We study their relations, give several examples and counterexamples. We finally conclude with an application to a minimization problem.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
