Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
82 views

Compatibility between the source and the boundary condition for an Helmholtz-type equation

Let $\Omega$ an open, convex, bounded domain in $\mathbb{R}^3$, and let us fix also $z\in\mathbb{C}\setminus\mathbb{R}$. Given $\phi\in H^{3/2}(\partial\Omega)$, I would like to show the existence of ...
Capublanca's user avatar
2 votes
2 answers
241 views

A Characterization of the traces of functions in $W^{1,2}$

I have a question about the traces of functions in $W^{1,2}$. Let $D$ be a connected open subset of $\mathbb{R}^d$.We denote $W^{1,2}(D)$ by \begin{align*} W^{1,2}(D)=\{f \in L^{2}(D,dx) \mid \...
sharpe's user avatar
  • 721
3 votes
0 answers
74 views

Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
C_Al's user avatar
  • 251
12 votes
0 answers
476 views

Are Sobolev trace spaces equal from both sides of the boundary?

Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure. Assume $\partial\Omega=\partial\Omega'$. Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
Joonas Ilmavirta's user avatar
2 votes
0 answers
320 views

Sobolev trace theorem

Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$, where $\Omega$ is knows as a bounded domain with smooth boundary $\partial D$. We choose any subdomain $D\subset Q$ with smooth boundary $\partial ...
CooLee's user avatar
  • 375
3 votes
1 answer
752 views

A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this. For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...
riem's user avatar
  • 266
2 votes
1 answer
766 views

reference request: trace/lifting operator for $L^{\infty}$ data in bounded $\Omega\subset R^d$

I know the answer to my question must be somewhere in the literature. Probably in [Adams-Fournier], [Dautray-Lions] or something alike, but I don't have access to a library right now so I'll ask ...
leo monsaingeon's user avatar
11 votes
3 answers
1k views

Boundedness of the derivative of the trace of an H^1 function

As a research preface, this question is linked to a problem of increasing magnetism in Ginzburg-Landau equations that I have distilled for the purpose of getting to the bottom of this technical matter....
Daniel Spector's user avatar