All Questions
Tagged with traces fa.functional-analysis
13 questions with no upvoted or accepted answers
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)$ ...
- 8,086
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 233
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 ...
- 943
3
votes
0
answers
128
views
Dixmier traces, Wodzicki residue and residues of zeta functions
Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far:
1. There exists a density defined ...
- 9,330
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 ...
- 251
2
votes
0
answers
267
views
Necessary and sufficient conditions on kernels of trace-class operators
Question: Let $K \in L^2(R^n\times R^n)$. Are "explicit" necessary and sufficient conditions known such that $K$ is the kernel of some trace-class operator $A \in TC(L^2(R^n))$?
We know that ...
- 143
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 ...
- 375
1
vote
0
answers
111
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,399
1
vote
0
answers
97
views
Show that for all $\delta$, we have $\|u\|^2_{\Gamma}\le c_\delta(\|u\|^2_{\omega(\delta)}+\|u\|_{\omega(\delta)}\|\nabla u\|_{\omega(\delta)})$
I am reading the article On existence of weak solutions of the Navier-Stokes equations in regions with moving boundaries from Fujita and Kato and at some point they use an argument I have some trouble ...
- 452
1
vote
0
answers
60
views
Is there a vector-valued trace such that $\text{tr}((L\otimes_π\text{id}_H)T)=LT$ for all $L∈\mathfrak L(H,\mathfrak L(H))$ and $T∈H\hat\otimes_πH$?
Let
$H$ be a separable $\mathbb R$-Hilbert space
$L\in\mathfrak L(H,\mathfrak L(H,\mathbb R))$
$T\in\mathfrak L(H)$ be nonnegative, self-adjoint and nuclear (trace-class)
Note that$^1$ $$\...
- 167
0
votes
0
answers
66
views
Taking trace of a tensor product of matrix-valued smooth functions on the thin diagonal
Let $V$ be a finite dimensional real / complex vector space and consider the space $L(V,V)$ of linear operators on $V$.
Fix $n \in \mathbb{N}$ and let $\mathcal{M}$ be the real / complex vector space ...
- 3,477
0
votes
0
answers
104
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
- 6,853
0
votes
0
answers
216
views
Bound on integral of elliptic theta function
I need to prove that the following bound is true. I thought this might follow from the inversion property of the theta function, as the infinite sum in the integrand is precisely $\theta_3(0,\mathrm{e}...
