Table of Contents
Fetching ...

Finite reflection groups and symmetric extensions of Laplacian

Krzysztof Stempak

Abstract

Let $W$ be a finite reflection group associated with a root system $R$ in $\mathbb R^d$. Let $C_+$ denote a positive Weyl chamber. Consider an open subset $Ω$ of $\mathbb R^d$, symmetric with respect to reflections from $W$. Let $Ω_+=Ω\cap C_+$ be the positive part of $Ω$. We define a family $\{-Δ_η^+\}$ of self-adjoint extensions of the Laplacian $-Δ_{Ω_+}$, labeled by homomorphisms $η\colon W\to \{1,-1\}$. In the construction of these $η$-Laplacians $η$-symmetrization of functions on $Ω$ is involved. The Neumann Laplacian $-Δ_{N,Ω_+}$ is included and corresponds to $η\equiv1$. If $H^{1}(Ω)=H^{1}_0(Ω)$, then the Dirichlet Laplacian $-Δ_{D,Ω_+}$ is either included and corresponds to $η={\rm sgn}$; otherwise the Dirichlet Laplacian is considered separately. Applying the spectral functional calculus we consider the pairs of operators $Ψ(-Δ_{N,Ω})$ and $Ψ(-Δ_η^+)$, or $Ψ(-Δ_{D,Ω})$ and $Ψ(-Δ_{D,Ω_+})$, where $Ψ$ is a Borel function on $[0,\infty)$. We prove relations between the integral kernels for the operators in these pairs, which are given in terms of symmetries governed by $W$.

Finite reflection groups and symmetric extensions of Laplacian

Abstract

Let be a finite reflection group associated with a root system in . Let denote a positive Weyl chamber. Consider an open subset of , symmetric with respect to reflections from . Let be the positive part of . We define a family of self-adjoint extensions of the Laplacian , labeled by homomorphisms . In the construction of these -Laplacians -symmetrization of functions on is involved. The Neumann Laplacian is included and corresponds to . If , then the Dirichlet Laplacian is either included and corresponds to ; otherwise the Dirichlet Laplacian is considered separately. Applying the spectral functional calculus we consider the pairs of operators and , or and , where is a Borel function on . We prove relations between the integral kernels for the operators in these pairs, which are given in terms of symmetries governed by .

Paper Structure

This paper contains 8 sections, 15 theorems, 109 equations.

Key Result

Theorem 1.1

Let $\Omega$ be an open $W$- symmetric subset of $\mathbb{R}^d$ with $\Omega_+$ as its positive part. Let $\Psi$ be a Borel function on $[0,\infty)$ and $\eta\in{\rm Hom}(W,\,\widehat{\mathbb Z}_2)$. Assume that $\Psi(-\Delta_{N,\,\Omega})$ is an integral operator with kernel $K^\Psi_{-\Delta_{N,\,\ Similarly, if $\Psi(-\Delta_{D,\,\Omega})$ is an integral operator with kernel $K^\Psi_{-\Delta_{D,

Theorems & Definitions (26)

  • Theorem 1.1
  • Corollary 1.2
  • Definition 2.1
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Proposition 3.1
  • ...and 16 more