# Tagged Questions

95 views

714 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...
77 views

### Boundary regularity of Dirichlet Eigenfunction on bounded domains

Consider a bounded, connected and open subset $\Omega\subset \mathbb{R}^d$ and the Dirichlet Laplacian $-\Delta$ acting in $L^2(\Omega)$. Then we know that the eigenvalues of $-\Delta$ form an ...
121 views

### Uniqueness of weak solutions of a heat equation

Let $M$ be a smooth compact closed manifold. Let $u \in H^1(0,T;H^{-1}(M)) \cap L^2(0,T;H^1(M))$ be a solution of $$u_t - \Delta u - u = 0$$ $$u(0)=u(T)$$ satisfying $\int_M u(t) = 0$ for all $t$. Is ...
160 views

123 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates ...
127 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definition We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...
81 views

128 views

### Weak convergence of a sequence

I have a sequence $(u_k) \in L^2_{loc}(\mathbb{R}^+; H^1_0(\Omega) )$ and $u \in L^2_{loc}(\mathbb{R}^+\times \Omega )$ such that for any $T >0$ and any compact $K \subset \Omega$ we have : ...
232 views

### Spectral multipliers vis-a-vis Differential geometry

Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...
149 views

### BMO spaces on the torus

I was reading BMO spaces (John-Nirenberg) on wikipidia http://en.wikipedia.org/wiki/Bounded_mean_oscillation. There they define BMO norm as $$sup_{Q}\frac{1}{Q}\int_Q |u(y) - u_Q|dy$$ where $u_Q$ is ...
127 views

### Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$ I want to show for $r \geq 2$ that ...
77 views

128 views

### $b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper. Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in ...
140 views

109 views

132 views

### Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$

The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to $$-\Delta u=f\hspace{3cm}(1)?$$ I'm of ...
72 views

Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$. I wonder if the following bound is true: $$\|f g_{x_1}\|_{H^{-0.5}(U)}\leq ... 1answer 105 views ### Interpolation and embeddings for parabolic function spaces I have a somewhat easy looking question on parabolic function spaces: Let B be a ball in \mathbb R^n and let T>0. Denote Q:=B \times [0,T]. Assume f \in L^2(Q) \cap L^\infty(0,T; L^q(B)) ... 1answer 128 views ### A compactness result: if f_n(u_n) \rightharpoonup w in L^2(0,T;L^2), then f_n(u_n) \to w in L^2(s,T;H^{-1}) for all s > 0 Let f_n \to f on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: f has linear growth (but is nonlinear function) and is continuous and ... 1answer 115 views ### Laplacian on space of measures Let X be a compact Riemannian manifold and let \mathcal{M}(X) be the space of regular finite Borel measures with the total variation as norm. The Laplace-Belrami-Operator \Delta on X with ... 1answer 99 views ### Existence of solution with u' \in L^2(0,T;L^2) to a nonlinear parabolic PDE Consider the problem of finding u \in L^2(0,T;H^1) with u' \in L^2(0,T;L^2) such that$$\int_0^T \int_{\Omega}u'(t)\varphi(t) + \int_0^T \int_{\Omega}\nabla (F(u(t)))\nabla \varphi(t) = \int_0^T ...
Let $m \geq 2$ and let $m'$ be its conjugate. Let $w_j$ for $j=1, ..., k$ be a basis of $H_1 \cap L^{m'}$. The task is to show that there is a $u(t) \in \text{span}(w_1, ..., w_k)=:A$ such that ...