Table of Contents
Fetching ...

Variable exponent modulus in symmetric domains

Rahim Kargar

Abstract

We develop explicit variational formulas for the $p(\cdot)$-modulus of curve families in symmetric domains of $\mathbb{R}^n$, under a log-Hölder continuous exponent $p\colonΩ\to(1,\infty)$, where $Ω$ is an open set. For annuli with radial exponent and cylinders with axial exponent, spherical symmetrization and averaging over transverse variables reduce the problem to a one-dimensional variational problem. The extremal density is uniquely characterized by a pointwise Euler--Lagrange condition with a Lagrange multiplier determined by a normalization constraint, yielding explicit formulas for both the density and the modulus. We also establish a two-sided capacity--modulus duality and prove that $K$-quasiconformal mappings distort the $p(\cdot)$-modulus and capacity by controlled factors. Applications and numerical examples are included.

Variable exponent modulus in symmetric domains

Abstract

We develop explicit variational formulas for the -modulus of curve families in symmetric domains of , under a log-Hölder continuous exponent , where is an open set. For annuli with radial exponent and cylinders with axial exponent, spherical symmetrization and averaging over transverse variables reduce the problem to a one-dimensional variational problem. The extremal density is uniquely characterized by a pointwise Euler--Lagrange condition with a Lagrange multiplier determined by a normalization constraint, yielding explicit formulas for both the density and the modulus. We also establish a two-sided capacity--modulus duality and prove that -quasiconformal mappings distort the -modulus and capacity by controlled factors. Applications and numerical examples are included.

Paper Structure

This paper contains 26 sections, 17 theorems, 136 equations, 2 tables.

Key Result

Lemma 2.2

Let $(\Sigma,\mu)$ be a probability space, $\phi\colon\mathbb{R}\to\mathbb{R}$ convex, and $f\in L^1(\Sigma,\mu)$. Then In particular, let $D\subset\mathbb{R}^{n-1}$ be measurable with $0<|D|<\infty$, and let $f\ge 0$ be measurable. Then for any $q\ge 1$,

Theorems & Definitions (40)

  • Definition 2.1: See Diening2011
  • Lemma 2.2: See Diening2011
  • Definition 2.3: See HHM
  • Definition 2.4: See AK04HL
  • Lemma 2.5: See EGF59
  • Lemma 2.6: See Diening2011
  • Example 3.1
  • Example 3.2
  • Theorem 4.1
  • proof
  • ...and 30 more