<abstract xmlns="http://www.w3.org/1999/xhtml">

Let Ω ⊂ ℝn<italic></italic> be an open set. We give a new characterization of zero trace functions <inline-formula>
<alternatives>
<inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_mjpaa-2022-0020_eq_001.png"></inline-graphic>
<math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mrow><mi>f</mi><mo>∈</mo><mi>𝒞</mi><mrow><mo>(</mo><mover accent="true"><mi mathvariant="normal">Ω</mi><mo>¯</mo></mover><mo>)</mo></mrow><mo>∩</mo><msubsup><mrow><mi>W</mi></mrow><mn>0</mn><mrow><mn>1</mn><mo>,</mo><mi>p</mi><mrow><mo>(</mo><mo>.</mo><mo>)</mo></mrow></mrow></msubsup><mrow><mo>(</mo><mi mathvariant="normal">Ω</mi><mo>)</mo></mrow></mrow></math>
<tex-math>f \in \mathcal{C}\left( {\bar \Omega } \right) \cap W_0^{1,p\left( . \right)}\left( \Omega \right)</tex-math>
</alternatives>
</inline-formula>. If in addition Ω is bounded, then we give a sufficient condition for which the mapping <inline-formula>
<alternatives>
<inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_mjpaa-2022-0020_eq_002.png"></inline-graphic>
<math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mrow><mi>f</mi><mo>↦</mo><msubsup><mrow><mi>ℒ</mi></mrow><mrow><mi>p</mi><mrow><mo>(</mo><mo>.</mo><mo>)</mo></mrow><mo>,</mo><mi>f</mi></mrow><mi mathvariant="normal">Ω</mi></msubsup></mrow></math>
<tex-math>f \mapsto \mathcal{L}_{p\left( . \right),f}^\Omega</tex-math>
</alternatives>
</inline-formula> from a set of real extended functions <italic>f</italic> : <italic>∂</italic>Ω −→ ℝ to the nonlinear harmonic space (Ω,ℋℒ<italic>p</italic>(.)) is injective, where <inline-formula>
<alternatives>
<inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_mjpaa-2022-0020_eq_003.png"></inline-graphic>
<math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mrow><msubsup><mrow><mi>ℒ</mi></mrow><mrow><mi>p</mi><mrow><mo>(</mo><mo>.</mo><mo>)</mo></mrow><mo>,</mo><mi>f</mi></mrow><mi mathvariant="normal">Ω</mi></msubsup></mrow></math>
<tex-math>\mathcal{L}_{p\left( . \right),f}^\Omega</tex-math>
</alternatives>
</inline-formula> denotes the Perron-Wiener-Brelot solution for the Dirichlet problem:
<disp-formula>
<alternatives>
<graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="graphic/j_mjpaa-2022-0020_eq_004.png"></graphic>
<math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="block"><mrow><mrow><mo>{</mo> <mrow><mtable columnalign="left"><mtr columnalign="left"><mtd columnalign="left"><mrow><msub><mrow><mi>ℒ</mi></mrow><mrow><mi>p</mi><mrow><mo>(</mo><mo>.</mo><mo>)</mo></mrow></mrow></msub><mi>u</mi><mo>:</mo><mo>=</mo><mo>-</mo><msub><mrow><mi mathvariant="normal">Δ</mi></mrow><mrow><mi>p</mi><mrow><mo>(</mo><mo>.</mo><mo>)</mo></mrow></mrow></msub><mi>u</mi><mo>+</mo><mi>ℬ</mi><mrow><mo>(</mo><mrow><mo>.</mo><mo>,</mo><mi>u</mi></mrow><mo>)</mo></mrow><mo>=</mo><mn>0</mn></mrow></mtd><mtd columnalign="left"><mrow><mi>i</mi><mi>n</mi><mi> </mi><mi mathvariant="normal">Ω</mi><mo>;</mo></mrow></mtd></mtr><mtr columnalign="left"><mtd columnalign="left"><mrow><mi>u</mi><mo>=</mo><mi>f</mi></mrow></mtd><mtd columnalign="left"><mrow><mi>o</mi><mi>n</mi><mi> </mi><mo>∂</mo><mi mathvariant="normal">Ω</mi><mo>,</mo></mrow></mtd></mtr></mtable></mrow> </mrow></mrow></math>
<tex-math>\left\{ {\matrix{{{\mathcal{L}_{p\left( . \right)}}u: = - {\Delta _{p\left( . \right)}}u + \mathcal{B}\left( {.,u} \right) = 0} \hfill &amp; {in\,\Omega ;} \hfill \cr {u = f} \hfill &amp; {on\,\partial \Omega ,} \hfill \cr } } \right.</tex-math>
</alternatives>
</disp-formula>
where ℬ is a given Carathéodory function satisfies some structural conditions.
</abstract>

Let Ω ⊂ ℝn be an open set. We give a new characterization of zero trace functions 


f∈𝒞(Ω¯)∩W01,p(.)(Ω)
f \in \mathcal{C}\left( {\bar \Omega } \right) \cap W_0^{1,p\left( . \right)}\left( \Omega  \right)

. If in addition Ω is bounded, then we give a sufficient condition for which the mapping 


f↦ℒp(.),fΩ
f \mapsto \mathcal{L}_{p\left( . \right),f}^\Omega

 from a set of real extended functions f : ∂Ω −→ ℝ to the nonlinear harmonic space (Ω,ℋℒp(.)) is injective, where 


ℒp(.),fΩ
\mathcal{L}_{p\left( . \right),f}^\Omega

 denotes the Perron-Wiener-Brelot solution for the Dirichlet problem:



{ ℒp(.)u:=-Δp(.)u+ℬ(.,u)=0in Ω;u=fon ∂Ω, 
\left\{ {\matrix{{{\mathcal{L}_{p\left( . \right)}}u: =  - {\Delta _{p\left( . \right)}}u + \mathcal{B}\left( {.,u} \right) = 0} \hfill & {in\,\Omega ;} \hfill  \cr {u = f} \hfill & {on\,\partial \Omega ,} \hfill  \cr  } } \right.


where ℬ is a given Carathéodory function satisfies some structural conditions.

Capacitary characterization of variable exponent Sobolev trace spaces

Moroccan Journal of Pure and Applied Analysis

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Capacitary characterization of variable exponent Sobolev trace spaces"}

Let Ω ⊂ ℝn be an open set. We give a new characterization of zero trace functions 


f∈𝒞(Ω¯)∩W01,p(.)(Ω)
f \in \mathcal{C}\left( {\bar \Omega } \right) \cap...

Capacitary characterization of variable exponent Sobolev trace spaces

Online veröffentlicht: 11. Okt. 2022

Seitenbereich: 286 - 298

Eingereicht: 24. Mai 2022

Akzeptiert: 03. Sept. 2022

DOI: https://doi.org/10.2478/mjpaa-2022-0020

Schlüsselwörter
Sobolev spaces with variable exponent, trace spaces, p(.)-capacities, nonlinear harmonic spaces

© 2022 Mohamed Berghout, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Capacitary characterization of variable exponent Sobolev trace spaces

Online veröffentlicht: 11. Okt. 2022

Seitenbereich: 286 - 298

Eingereicht: 24. Mai 2022

Akzeptiert: 03. Sept. 2022

DOI: https://doi.org/10.2478/mjpaa-2022-0020

SchlüsselwörterSobolev spaces with variable exponent, trace spaces, p(.)-capacities, nonlinear harmonic spaces

© 2022 Mohamed Berghout, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Schlüsselwörter
Sobolev spaces with variable exponent, trace spaces, p(.)-capacities, nonlinear harmonic spaces