2
votes
0answers
14 views

Hopf lemma for generalized normal derivatives

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. If $u\in C^2(\Omega)\cap C_0(\overline{\Omega})$ is a superharmonic function ($-\Delta u\ge 0)$ then, Hopf Boundary Lemma does implies that ...
2
votes
0answers
56 views

Is this distributional laplacean a measure?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Suppose that $0<k<t<1$ and $\Phi$ is a mooth function satisfying: $\Phi(x)=0$ for $x\le k$, $\Phi(x)=1$ for $x\ge t$. Take $u\in ...
2
votes
1answer
46 views

Can we conclude that $\Delta (\Phi\circ u)$ is a measure, given that $\Phi$ is a particular smooth function and $u$ is in some Sobolev space?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$ is such that $\Delta u$ is a measure. Let $\Phi$ be a smooth function in $\mathbb{R}$, such that ...
0
votes
0answers
25 views

Taylor theorem on Sobolev spaces

I am trying to understand the Taylor theorem for Sobolev spaces that appears in http://science.org.ge/moambe/5-2/5-10%20Boyarsky.pdf. I am not sure in what sense the aproximation is. I feel that it is ...
0
votes
0answers
44 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
4
votes
1answer
51 views

Sobolev spaces in one-dimensional vs multidimensional

Here in Wikipedia, it is said that in the one-dimensional case, it is enough to assume that the $(k-1)$-th derivative of the function $f$, is differentiable almost everywhere and is equal almost ...
-2
votes
1answer
70 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
0
votes
0answers
36 views

When can we interchange summation with $L^2$ inner product?

(This question concerns a step in the solution given to Eignvalues of Laplacian operator and Sobolev spaces.) Why can we interchange the sum and the $L^2$ inner product in the following? $$(\sum_n ...
0
votes
0answers
45 views

Question with tried Eigenvalues of Laplacian operator and Sobolev spaces III.

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
0
votes
0answers
20 views

eignvalues of laplacian operator and Sobolev spaces -II

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, Let $F=(F_t) \in C^0(I,L^2(\Omega))$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od the ...
1
vote
2answers
196 views

Eignvalues of Laplacian operator and Sobolev spaces

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od ...
1
vote
1answer
52 views

equation in Sobolev space

i have this exercice: Let $f\in L^2(\mathbb{R}^n)$. 1- Prouve that the equation $\Delta u - u = \dfrac{\partial f}{\partial x_i}$ admeit a unique solution $u \in H^1(\mathbb{R}^n)$? 2- Prouve the ...
1
vote
0answers
42 views

Variable density in the equation of motion

At a fixed point in time, consider the equation of motion $$ \nabla \cdot \boldsymbol \sigma(u) + \boldsymbol f = \rho \ddot{\boldsymbol u} \quad \text{in $\Omega \subset \mathbb R^d$} $$ for a ...
3
votes
1answer
35 views

What does it mean for a distribution to be in $L_2$?

I am new to Sobolev space and distribution theory. So here is what I know. Distributions are linear functionals on $C_0^\infty$. Let's look at the simplest Sobolev space. $H^1(\Omega)$ is equal to the ...
3
votes
1answer
38 views

Identification of $L^2$ limits with distributional convergence

I just read the thread on "too much effort" and I would like to be more specific. Is the following reasoning correct: Let $g,g_\delta\in H^1(D)$, $D$ some domain in $\mathbb{R}^n$ with the following ...
2
votes
1answer
34 views

What would be to show $(1+|\xi|^2)^{s/2}\hat{u}\in \mathcal{S}^{'}(\mathbb R^n)$ is a function?

If $s\in\mathbb R$ define the sobolev space $H^s(\mathbb R^n)$ as $$H^s(\mathbb R^n):=\{u\in \mathcal{S}^{'}(\mathbb R^n): (1+|\xi|^2)^{s/2}\hat{u}\in L^2(\mathbb R^n)\}.$$ I have a doubt concearning ...
1
vote
1answer
37 views

Is $L^2(0,T;H^{-1}(\Omega)) \subset \mathcal{D}^*((0,T)\times \Omega)$?

Let $\Omega \subset \mathbb{R}^n$ be a domain. Consider the space of test functions $\mathcal{D}((0,T)\times \Omega)$ and the space of distributions $\mathcal{D}^*((0,T)\times \Omega).$ Is it true ...
1
vote
1answer
58 views

When is $W^{m,p}(\Omega)$ dense in $L^p(\Omega)$?

Let $\Omega\subset\mathbb{R}$, $m\in\mathbb{N}$ and $1\leq p<\infty$. What are the (most common) sufficient conditions (if such conditions exists) that we can impose on $\Omega$, $m$ and $p$ to ...
4
votes
0answers
71 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
0
votes
2answers
81 views

What is the closure of $ C^\infty_c(\mathbb{R}^n\setminus\{0\})$ in Sobolev $ W^{1,p} $ norm?

For $1 \leq p < \infty, n\geq 1 $ my guess of the answer was $ W^{1,p}(\mathbb{R}^n)$ but I can't prove the inclusion $ \overline{C^\infty_c(\mathbb{R}^n\setminus\{0\})} \subseteq ...
0
votes
0answers
28 views

$u \in H^n$ then also $|u|^2 \in H^n$ for complex valued function in Sobolev space

Suppose that a complex valued function $u$ is in the Sobolev space $H^n(R^n) = W^{n,2}$. Is it necessarily true that $|u|^2 \in H^n$ ? The result is true for real - valued functions since we know ...
2
votes
1answer
55 views

Does $H_0^1(\Omega)$ embed into $H_0^1(R^d)$?

Given a domain $\Omega$ in $\mathbb{R}^d$ and a function $f\in H_0^1(\Omega)$, the closure of the test functions on $\Omega$, does the extension of f by 0 to all of $\mathbb{R}^d$ necessarily lie in ...
4
votes
1answer
88 views

Representing the dirac distribution in $H^1(\mathbb R)$ through the scalar product

Since in dimension $1$, $H^1$ is continuously embedded in $C_0$, we know that the Dirac distribution $\delta_0 \in H^1(\mathbb R)'$. Then by Riesz representation theorem we know that there exists a ...
4
votes
2answers
105 views

If $u$ and $v$ have weak derivatives,what about $uv$?

$\Omega$ is a domain in $R^n$, Let $u\in L^1_{\text{loc}}(\Omega)$. If there exists $g_i \in L^1_{\text{loc}}(\Omega)$ such that $$\int_\Omega g_i \phi \, dx=-\int_\Omega u \frac{\partial ...
2
votes
1answer
75 views

Is it true that $f\in W^{-1,p}(\mathbb{R}^n)$, then $\Gamma\star f\in W^{1,p}(\mathbb{R}^n)$?

I am trying to understand the following paper. In page 1191, in the beggining of the proof of Theorem 2.9. the authors consider the convolution $$v=\Gamma\star f$$ They claim that $v\in ...
2
votes
1answer
317 views

function a.e. differentiable and it's weak derivative

Note - I am just starting to learn about theory of distributions, so this may be a trivial question, if so I'd be grateful for a reference, nevertheless the question is the following: suppose I have a ...
3
votes
0answers
45 views

Estimation of $\|(1-\Delta)^{\gamma/2}f\|_1$ type

Let $\phi(\xi)\in C_c^\infty(\mathbb{R}^d)$ with value $1$ in a neighborhood of the unit ball and vanishing fast outside the ball. I want to estimate $$\|(1-\Delta)^d (\cdot)^\alpha ...
1
vote
1answer
36 views

Continuity of the extension of a distribution to $H^s$

Let $u\in D'(\mathbb{R}^n)$ be a distribution and suppose that $u$ can be extended to linear functional on $H^s$. Does it follow that $u$ can be extended to a continuous linear functional on $H^s$?
3
votes
1answer
107 views

Gauss–Ostrogradsky formula for Distributions

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $u\in W^{1,p}(\Omega)$, $v\in L^{p'}(\Omega)^N$ with $p\in (1,\infty)$. Let $\operatorname{div}(v)$ be the divergence of $v$ in the sense of ...
9
votes
2answers
666 views

Sobolev space is an algebra

How do you prove that the Sobolev space $H^s(\mathbb{R}^n)$ is an algebra if $s>\frac{n}{2}$, i.e. if $u,v$ are in $H^s(\mathbb{R}^n)$, then so is $uv$? Actually I think we should also have ...
5
votes
1answer
1k views

what do test function mean?

I am trying to learn weak derivatives. In that we call $\mathbb{C}^{\infty}_{c}$ function as test function and we use this function in weak derivatives. I want to understand why these are called test ...
1
vote
1answer
79 views

How to prove the density result?

How to prove that $C_c^\infty(R^n)$ is dense in $C^0(R^n)$,where the topology of $C^0(R^n)$ defined as follows $u_k\rightarrow 0$ in $C^0(R^n)$ if and only if $\forall K\subset\subset R^n$,$sup_{x\in ...
-1
votes
1answer
64 views

When Dirac function is in $H^{-m}(R^n)$?

If Dirac function $\delta\in H^{-m}(R^n)$,please give the range of $m$?
1
vote
1answer
144 views

Distributional/weak time derivative basic question

Suppose we have $u \in L^2(0,T;H^1(\Omega))$, and $v \in L^2(0,T;H^{-1}(\Omega))$ is the weak time derivative of $u$, so by definition it satisfies $$\int_0^T u(t)\phi'(t) = -\int_0^T v(t)\phi(t)$$ ...
2
votes
1answer
138 views

Sobolev spaces of infinite order

I do have a question about the Sobolev spaces of infinite order. Let me first define them: Let $H^s(\mathbb{R}^n)$ denote the Sobolev space of order $s \in \mathbb{R}$. We can naturally identify ...
2
votes
0answers
78 views

Weak derivative and homeomorphisms commute

Suppose $\phi:H^1(S) \to H^2(R)$ is a linear homeomorphism, where $S$ and $R$ are compact surfaces in $\mathbb{R}^n$. Let $\varphi \in D(0,T;H^1(S))$ be a $H^1(S)$-valued $C_c^\infty(0,T)$ function. ...
3
votes
1answer
112 views

What is the use of $H_s$ for non-integer $s$?

So we have the whole set of theory for Sobolev spaces \begin{equation} H_s(\mathbb{R}^d)=\{u\in D'(\mathbb{R}^d):(1+|y|^2)^{s/2}\hat{u}\in\mathcal{L}^2(\mathbb{R}^d)\}, \end{equation} and we know that ...
1
vote
1answer
66 views

Identify the distrionbutional derivative with classical derivative?

I am reading Rudin's Functional Analysis and got quite confused by his proof for theorem 7.25, which he calls Sobolev's Lemma. In proving the theorem, he defines the function $F$, and calculates its ...
1
vote
1answer
378 views

Easy question on derivative in the sense of distribution

I would like help proving this elementary result: Let $f\in L^{1}_{loc}(a,b)$. Let $x_0 \in (a,b)$ Let $F(x)=\int^{x}_{x_0} f$. Then $F'=f$ in the sense of distributions. i.e How do I show $\langle ...
1
vote
1answer
318 views

Delta Dirac Function

Show that $\delta$, function of Dirac, defined than $\left<{\delta_0,\phi}\right> = \phi(0)$ belongs to $W^{-1,p}(]-1,1[)$ and $\delta_0 \notin L^p(-1,1)$ $\forall p\geq 1$. How I will be able ...
2
votes
1answer
843 views

weak derivative of a nondifferentiable function

I am reading a book on Sobolev and having trouble understanding a notion of weak derivative. I consider a function $(x-1)^+=\max(x-1,0),x\in[0,2]$, I have a problem at $x=1$, so it is continuous and ...