For question about weak derivatives, a notion which extends the classical notion of derivative and allows us to consider derivatives of distributions rather than functions.

learn more… | top users | synonyms

4
votes
0answers
172 views

Differentiation of norm in Banach space (explanation of text needed)

Let $Y$ be uniformly smooth Banach space. Consider the convex $C^1$ functional $\Phi:Y \to \mathbb{R}$ defined $$\Phi(y) = \frac{1}{q}\Vert y \Vert^q_{Y}.$$ Its derivative $\varphi:Y \to Y'$ is a ...
3
votes
0answers
44 views

How do I show that a distribution is a function?

While reading Grigor'yan's book on the heat kernel I have encountered the following definition of a Sobolev space on a Riemannian manifold $M$: $W^2 (M) = \{ u \in W^1 (M) : \Delta u \in L^2 (M) ...
3
votes
0answers
156 views

Generalized chainrule for Sobolev functions with a cut-off

let $\Omega\subset\mathbb{R}^n$ be a bounded domain and $f\in C^1(\bar\Omega \times (0,g(x)),[0,1])$ and $f(x,\cdot)$ increasing and $g(x)\in\mathbb{R}$ continuous (maybe better, Lipschitz?). I want ...
3
votes
0answers
297 views

When the weak derivative just is the strong (or classical) derivative?

When the weak derivative just is the strong (or classical) derivative? For instance, can we prove that weak derivate $Du\in C^\alpha$(or $C^0$) implies $u\in C^{1,\alpha}$(or $C^1$).
2
votes
0answers
55 views

Is the image of gradient map from Sobolev space to Lebesgue space weakly closed?

Suppose f is a map defined between $W_0^{1,p}(\Omega)$ and $L^{p'}(\Omega)$ as follows - $u \mapsto |\nabla u|^{p-1}$. Is the range of this map weakly closed in $L^{p'}$?.
2
votes
0answers
84 views

Weak convergence of determinant

I'm having problems with the following question: Let $\Omega\subset\mathbb{R}^2$ open and bounded. Let $\{u^n\}_{n\in\mathbb{N}}$ a bounded sequence in $H_0^1(\Omega:\mathbb{R}^2)$ such that ...
2
votes
0answers
43 views

Weak stochastic integral

I recently encountered the following object, referred to as "weak stochastic integral" in the book of SPDE's by Prévôt/Röckner [PR07]: $$ \int_0^T \langle \Psi \,\mathrm dW(t), \Phi(t)\rangle $$ A ...
2
votes
0answers
29 views

How to interpret $\langle (f(u))', v \rangle = \langle f'(u)u', v \rangle$?

We know that if $u$ has a weak derivative $u'$, and if $f \in C^1$ with $f'$ bounded then $(f(u))'= f'(u)u'$. But how interpret the duality pairing $$\langle (f(u))', v \rangle = \langle f'(u)u', v ...
1
vote
0answers
26 views

Question about the proof of $W^{1,p}_0(\Omega) \Rightarrow u=0 $ on $\partial \Omega$

I am reading the proof of Theorem 9.17 in the book Functional Analysis, Sobolev Spaces and Partial Differential Equations, by Haim Brezis. The theorem says: Suppose that $\Omega$ is of class ...
1
vote
0answers
11 views

Given $u \in W^{1,p}(\Omega)$ then $\overline{\alpha u} \in W^{1,p}(\Omega)$, with $\alpha \in C^1 \cap L^{\infty},\nabla \alpha \in L^{\infty}$

Given $u \in W^{1,p}(\Omega)$ and $\alpha$ a function which verifies $\alpha \in C^1(\Omega)$, $\alpha \in L^{\infty}(\mathbb{R}^n)$, $\nabla \alpha \in L^{\infty}(\mathbb{R}^n)^n $ y $supp(\alpha) ...
1
vote
0answers
50 views

Product of two $W^{1,p}_0$ functions

I have a fairly simple question. Suppose that $p>n$ and $u,v\in W^{1,p}_0$, how can I prove that the product is also in $W^{1,p}_0$ ? Of course, we have to employ Morrey's inequality. My idea was: ...
1
vote
0answers
41 views
+50

If $u \in W^{1,p}(I) \cap C_c(I)$ then $u \in W_{0}^{1,p}(I) $

I want to show the following statement ($1 \leq p < \infty$), for an open interval $I$: If $u \in W^{1,p}(I) \cap C_c(I)$ then $u \in W_{0}^{1,p}(I) $. $W^{1,p}(I) $ is the Sobolev Space, ...
1
vote
0answers
19 views

Convergence of the series $\sum_{k=1}^{\infty} \frac{1}{2^k} |x-y_k|^{-\alpha}$

Suppose $S=\{y_k\}_{k=1}^{\infty}$ is a countable dense subset of the open unit ball $B(0,1)$ in $\mathbb{R}^n$. We write \begin{equation} u(x) = \sum_{k=1}^{\infty} \frac{1}{2^k} |x-y_k|^{-\alpha} ...
1
vote
0answers
33 views

Distributional derivative $Xu=0$ then $u$ is constant over the flow lines of $X$

Suppose we have a Lie group on $\mathbb R^n$, something like $(\mathbb R^n, \cdot)$, where with $\cdot$ we denote the group law on $\mathbb R^n$. Call $\mathfrak g$ the Lie algebra of $(\mathbb R^n, ...
1
vote
0answers
34 views

Weak differentiability and diffeomorphisms

Let $U,V\subset\mathbb{R}^n$ be open sets and assume the existence of a $\mathcal{C}^1$-diffeomorphism $\phi:U\rightarrow V$. Let $u\in W^{1,p}(U)$, $1\leq p\leq\infty$, and define ...
1
vote
0answers
17 views

Derivative is a Radon measure if time increment bounded

Here, $u$ belongs to some $L^p$ space. Can someone tell me what result the author uses to say that $u_t$ is a Radon measure?
1
vote
0answers
60 views

A question on vanishing viscosity in Evans PDE

In Evans book on PDE (2nd edition) he uses the vanishing viscosity method to prove existence of a weak solution to the following linear hyperbolic system ...
1
vote
0answers
62 views

Proof of the Poincare inequality for $W_0^{1,2}((a,b))$.

I have a question about an exercise for which I already have the solution, which I do not unterstand completely. Let $a, b \in \mathbb R$ with $0 < a < b$. Then we have \begin{align*} ...
1
vote
0answers
21 views

approximate a weak derivative

Let $\Omega$ be an open bounded set of $\mathbb{R}^N$ and $u\in H_0^1(\Omega)$. Suppose $|\nabla u|>1$ on a set of positive measure, then by inner regularity of Lebesgue measure, there exists a ...
1
vote
0answers
44 views

Weak differentiation and derivatives of test functions

I am currently working to see if $\frac{1}{x}$ is weakly differentiable on $(0,1)$. I have reached that conclusion via integration by parts that, if so, for all $ \phi\in C^{\infty}_c$: $\int_{0}^{1} ...
1
vote
0answers
135 views

Confused about weak derivatives in Evans

I'm a bit confused about how Evans refers to derivatives at some points and if he means weak derivative. In particular on page 301 he gives the definition that if $\textbf{u} \in L^1(0,T;X)$ and ...
1
vote
0answers
42 views

Does existence and uniqueness of a classical solution impose uniqueness of weak solutions to a pde?

I wonder if one knows that there exists a unique classical solution of a pde (for instance: Fokker-Planck equation), is one able to conclude that there isn't any weak solution of the pde, which ...
1
vote
0answers
32 views

A derivative identity, for any multi-index.

I'm trying to prove by induction on the multi-index $\alpha$, that, $$\sum\limits_{j=\frac{|\alpha|}{2}}^{|\alpha|}\sum\limits_{|\beta|=2j-|\alpha|}c_{\beta}x^{\alpha}[m_z(x)]^{j+1}=D^{\alpha}m_z(x)$$ ...
1
vote
0answers
22 views

Showing $\langle ((u-c)^+)', (u-c)^+ \rangle = \langle u', (u-c)^+ \rangle$

Let $u \in L^2(0,T;H^1)$ have weak derivative $u' \in L^2(0,T;H^{-1}).$ Let $c$ be a constant. I want to show that $$\langle ((u-c)^+)', (u-c)^+ \rangle = \langle u', (u-c)^+ \rangle$$ where $(f)^+ = ...
1
vote
0answers
79 views

some sobolev norm estimation

I would like to show this inequality. I need help to show this inequality Let $F(\Phi)=\left|\Phi\right|^{\alpha}\Phi$ with even integer $\alpha>0$. Let $k$ be a positive integer satisfying ...
1
vote
0answers
49 views

Estimate difference of solutions of an equation with a bilinear symmetric continuous form

My question refers to differential equations in Sobolev spaces. It is as follows: Let $\Omega \subset \mathbb{R}^n$ be a bounded open set. Let $a: H_0^1(\Omega) \times H_0^1(\Omega) \rightarrow ...
1
vote
0answers
30 views

norm of $x \in \mathbb R^d$ is in Sobolev space

For which values of $\alpha, k,p,d$ is $$ \|x\|^\alpha \in \textrm{W}^{k,p} (B(0,1)) \quad ? $$ where $\displaystyle{ \textrm{B}(0,1) = \{x \in \mathbb R^d : \|x\|<1\}}$ This is an ...
1
vote
0answers
98 views

Self-adjointness of differentiation operator

Let's say $\mathcal{H}=L^2([0,1])$ and $p$ is the operator $-i\frac{d}{dx}$ defined on $\mathcal{D}(p)=\{f\in L^2([0,1])\ |\ f'\in L^2, f(1)=e^{i\theta}f(0)\}$. I have to prove that $p$ is ...
1
vote
0answers
62 views

Does existence of weak spatial derivative imply existence of classical time derivative in this situation?

Let $f(x_1,...,x_n,t)$ be a function, where $(x_1,...,x_n) \in \mathbb{R}^n$ and $t \in [0,T].$ Denote by $f_{x_i}$ the weak (partial) derivative of $f$ wrt. $x_i.$ Is it possible for ...
1
vote
0answers
267 views

If a sequence of smooth functions converge in the Sobolev norm, what can one say about the limiting function?

Let $W^{k,p}(\mathbb{R}^n)$ be the Sobolev space of $k$ times weakly differentiable functions on $\mathbb{R}^n$, having finite Sobolev $p$ norm. Suppose $\{f_i\}$ is a Cauchy sequence in ...
1
vote
0answers
436 views

Weak derivative

Let $u \in C(\Omega)$ be a function with weak derivative $Du \in C(\Omega)^n$. How does one prove that $Du$ coincides with the classical derivative? Is the mean value theorem for integration ...
0
votes
0answers
16 views

troubles integrating by parts with $\int \sqrt{x^2+y^2}D_x\phi(x,y)$

I want to show that $f(x)=\|x\|^a$ is weakly differentiable in $B_1(0)\subset\mathbb R^2$ iff $a>-1$. Therefore I want to show that for all $\phi\in C_0^\infty$ we have $$ (*)\quad\int \phi D_i ...
0
votes
0answers
6 views

Weak formulation 1-D PDE with non-homogenous robin boundary condition

Question: Question statement Worked Solution: Worked solution I have a few questions I hope you can help me with. Firstly, is my weak formulation correct? Why can't I use a test function in $H^1_0$ ...
0
votes
0answers
36 views

Weak solutions for elliptic equations

i have two questions about the study of weak solutions for elliptic equations? Why study these equations in divergent form? Why the minus sign in the principal part? Thanks very much
0
votes
0answers
26 views

Derivative of kinky function

I have the following result: $$-\frac{1}{2}y^2(\frac{\partial^2f}{\partial x^2}-\frac{\partial f}{\partial x}) = -\frac{1}{2}y^2K\delta_{x=\log(K)}$$ where $$f(x) = (K-e^x) \mathbb{1}_{\{x \leq ...
0
votes
0answers
13 views

Existence of weak derivative of a translation of a function

Let $f$ a function in $L^1_{loc}(\mathbb{R^n})$ such that his weak derivative of order $\alpha$, $D^{\alpha}_wf$, exists. We consider a vector $h\in \mathbb{R^n}$ and we define $g(x)=f(x-h)$. I have ...
0
votes
0answers
38 views

Weak formulation of incompressible navier stokes and heat transfer differential equations for coupling in COMSOL

I am asked to simulate a 2-D coupled problem in COMSOL(Navier stokes with Heat transfer) of a simple room. I'm not sure if COMSOL already has preexisting physics for navier stokes and heat tranfer ...
0
votes
0answers
16 views

Prove, for an open $\Omega \subset \mathbb{R}^n$ with $x\in \Omega$, that $u\in W^{1,p}(\Omega-\{x\})\implies u\in W^{1,p}(\Omega).$

Let $n\geq 2$, $\Omega\subset \mathbb{R}^n$ open, $x\in \Omega$ and $p\geq1$ I want to prove the above implication. We just need to show that the weak derivative of $u$ on the punctured domain remains ...
0
votes
0answers
21 views

There is no Weak derivative of $\log|x|$ for $x \in (-1,1)$

I'm pretty new to this concept. I know that if it existed it had to be $1/x$ on $(-1,1) \backslash \{0\}$. However, I am not sure how to evaluate the integrals to get the non-existance
0
votes
0answers
26 views

Dual-mixed formulation for Poisson eq. — how include Dirichlet BC, since solution only in $L^2$

When putting the Poisson Equation into weak form we usually get to solve this: Find $u\in H^1$ s.t. $$ \int_\Omega\textrm{grad}u \cdot \textrm{grad} v=\int_\Omega fv\quad \forall v \in H^1(\Omega) $$ ...
0
votes
0answers
30 views

Can we show that each element of the Sobolev space $H^k(D)$, with $D\subseteq\mathbb R^d$ being a bounded domain, has a continuous representative?

Let $d\in\left\{2,3\right\}$ $D\subseteq\mathbb R^d$ be a bounded domain $\lambda$ be the Lebesgue measure on $D$ $H^k(D)$ be the Sobolev space Can we show that each element of $H^k(D)$ has a ...
0
votes
0answers
19 views

Test function for proof of moser harnack inequality

There exists a standard method to build test functions? I would like to construct a sequence of functions $\phi_{m} \in C^{\infty}_{c}(B_{1})$ such that $\phi_{m} \to \psi{u}^{-2}$, where $\psi \in ...
0
votes
0answers
78 views

About the gradient of a function in $H^{1}(\Omega)$

Let $\Omega \in \mathbb{R}^{n}$ a bounded domain and $u \in H^{1}(\Omega)$ a real function. In the Leoni's Book - A First Course in Sobolev Spaces, the author define $\nabla u = (D_{1} u,\dots, ...
0
votes
0answers
50 views

an iff proof on the existence of weak derivative

I have trouble understanding the following proposition. Proposition $f,g\in L_{\text{loc}}^1(\Omega)$. Then $g=D^{\alpha}f$ iff. there exists $f_m\in C^{\infty}(\Omega)$ such that $f_m\to f$ in ...
0
votes
0answers
36 views

$-u''+u=\delta_y$ where $u(0)=u(1)=0$

Let $0<y<1$ be arbitrary. What is the weak solution of the differential equation $-u''+u=\delta_y$ where $u(0)=u(1)=0$ then? The weak form of the equation above is given by ...
0
votes
0answers
33 views

Weak chain rule the other way round.

If $f: \mathbb{R} \to \mathbb{R}$ is weakly differentiable and $u: \Omega \to \mathbb{R}$ is smooth, where $\Omega \subset \mathbb{R}^n$, can we show that for any test function $\varphi \in ...
0
votes
0answers
37 views

Why are these functions Locally Integrable?

Apparently the following are locally integrable: (a) $x^r\in L_1(0,\infty)$, $\forall r\in\mathbb{R}$. But this couldn't be right because $\frac{1}{x}\notin L_\text{loc}(\mathbb{R})$ (since ...
0
votes
0answers
18 views

$\nabla\phi_k\stackrel{L^2}{\to}\nabla\phi\Rightarrow\langle\nabla u,\nabla\phi_k\rangle\stackrel{L^2}{\to}\langle\nabla u,\nabla\phi\rangle$

Let $\Omega\subseteq\mathbb{R}^n$ be bounded, $f\in L^2(\Omega)$ and $(\phi_k)_{k\in\mathbb{N}}\subseteq L^2(\Omega)$ with ...
0
votes
0answers
22 views

Definition of the Second Variational Derivative In terms of The first

I know that for functional $F$ the first variational derivative at $f$ with increment $h$ is defined as \begin{align*} \delta F[f,h]= \lim_{\alpha \to 0 } \frac{F[f+\alpha h]-F[f] ]}{\alpha }. ...
0
votes
0answers
296 views

chain rule for weak derivatives

First I apologise for not writing properly, but I'm using a cell phone. We know that having a Sobolev function $u$, if we have a good enough function $f$, then $f\circ u$ is Sobolev and the chain ...