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

2
votes
1answer
102 views

Approximation of a function with a polynomial of degree n.

Let $f\in{L_{loc}^{1}}$ such that $\int_{a}^{b}{f(x)}{\phi}^{(n)}(x)dx=0$ for all $\phi\in{C_{0}^{\infty}}(a,b)$. Then how do we show there exists a polynomial $P(x)$ of degree less or equal to $n-1$ ...
1
vote
1answer
98 views

weak differentiability of log log function

I want to understand why the following function has a weak derivative in two or three dimensions: $w(x) = \ln |\ln|x|| , x \in B_{1/2}(0)$. Can I say that if I have a strong derivative (except for ...
1
vote
1answer
49 views

Strong differentiability in Sobolev spaces

My question is: how can one prove that if $\phi\in H^{n}(a,b)$ for all positive integer $n$, then $\phi\in C^{\infty}(a,b)$? $H^{n}(a,b)$ denotes de Sobolev space of the real interval $(a,b)$. For my ...
1
vote
1answer
187 views

Steklov Average in time and spatial gradient can be interchanged?

I'm trying to understand a proof on Steklov average and weak derivatives. Let $\Omega$ be a bounded domain of $\mathbb{R}^n$, $T>0$, $h\neq 0$ and $u\in L^2(0,T;H^1(\Omega))$ and extend $u$ by ...
1
vote
1answer
183 views

Weak derivative of $\operatorname{sgn}(x_1)$

Let $x\in \mathbb{R}^{n}, x = (x_1,\ldots,x_n)$, and $f(x) = \operatorname{sgn}(x_{1})$. Is $f$ weakly differentiable on $U = B(0,1)$, i.e. unit ball in $\mathbb{R}^{n}$, and what is the weak ...
0
votes
1answer
58 views

Uniqueness of the solution of the continuity equation with discontinuous vector field

I'm trying to prove the uniqueness of the following continuity equation with discontinuous vector field: $ \begin{cases} m_t(t,x) + [(-\alpha x + \sigma u^{*}(x) + c) \ m(t,x)]_x = 0 \qquad (t,x) ...
3
votes
0answers
116 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
235 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
53 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
26 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 ...
2
votes
0answers
119 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 ...
1
vote
0answers
25 views

Prove that a function lies in $L^1$ and in $W^{(1,1)}$ for some parameter

I want to do the following tasks Let $G:=B_1(0)\subset \mathbb R^2$ be the open ball around $0$ with radius 2 in the norm $||\cdot||$ and $u_{\rho}(x)=||x||^{\rho}_2$, $x\in G$. Show the following ...
1
vote
0answers
20 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
22 views

divergence form of the 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 ...
1
vote
0answers
13 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
46 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
21 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
21 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
29 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 ...
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
72 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
45 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
26 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
66 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
59 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
137 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
342 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
26 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 ...
0
votes
0answers
23 views

Second order equation and regularity

Let $U$ be an bounded open set in $\mathbb R^3$ and ${V}\subset \subset{W} \subset \subset {U}$. Let $u \in {H^1}(U)$, and $f\in L^{2}(U)$ satisfies $$\int_{\mathbb R^3} \nabla u(x). \nabla \varphi ...
0
votes
0answers
19 views

Weak time derivative for functions $u \in L^2(0,T;L^2(\Omega))$

The weak time derivative of a function $u \in L^2(0,T;H^1)$ is defined to be $u' \in L^2(0,T;H^{-1})$ satisfying $$\int_0^T \int_\Omega u(t) \varphi'(t) = -\int_0^T \langle u'(t), \varphi(t) \rangle$$ ...
0
votes
0answers
42 views

How can I prove that this function doesn't have a second weak derivative?

I'm trying to determine what weak derivatives the function $$ f(x)=\begin{cases} x&\mbox{if }0<x<1,\\ 1&\mbox{if }1\leq x<2, \end{cases} $$ has. I already managed to prove that it ...
0
votes
0answers
14 views

Integrable pointwise derivative of integrable continuous function is weak derivative

Let $f:[0,T] \to \mathbb{R}$ be a continuous function, with pointwise derivative $f'$, which may not be continuous. Suppose $f$ and $f'$ are integrable. How do I show that $f'$ is the weak derivative ...
0
votes
0answers
34 views

dense subspace of $C(0,T)$

I want to prove that the space H of functions which are continuous in [0,T] with weak derivative in $L^2[0,T]$ and their value in 0 is 0, is dense in the space of continuous functions in [0,T] with ...
0
votes
0answers
19 views

Solve a PDE in the distribution sense.

I want to solve (in the distribution sense) this equation: $ x^{2} u= \delta_{0}$. I tried to use the variational form to deduce u but I get stuck. Can someone help? thanks.
0
votes
0answers
20 views

If $v_i \in L^2(0,T;H^1)$ with $v_i' \in L^2(0,T;H^{-1})$, what can we say about $w(t) = \int_s^t (v_1-v_2)(\tau)\;d\tau$?

If $v_i \in L^2(0,T;H^1)$ with $v_i' \in L^2(0,T;H^{-1})$, what can we say about $w(t) = \int_s^t (v_1-v_2)(\tau)\;d\tau$? Is $w$ also of the same regularity? Heuristically, I thought: let $V_i$ be ...
0
votes
0answers
23 views

PDE weak solution , how could i prove it?

let be $ n \ge 3 $ and U a bounded set including the point $0 $ then i must show that a) the vector $ u= \frac{x}{|x|} $ belongs to $ H^{1}(U, R^{n})$ and it is an harmonic map into the sphere $ ...