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

-1
votes
0answers
11 views

Weak derivative of a function

Consider functions of the form $$u(x, y) = f (x) + g(y)$$ Then $u ∈ L^1_{loc}(R^2)$ if and only if $f,g ∈ L^1_{loc}(R)$. The weak derivative $∂_xu$ exists if and only if the weak derivative ...
-1
votes
1answer
18 views

Heaviside function and weak solutions

If a solution to a PDE has a solution f(x) in which f(x) is a Heaviside function, independent on its argument, can I say the solution is unstable, therefore being weak?
1
vote
0answers
23 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 ...
2
votes
1answer
29 views

Is the regularity of $u$ necessary to deduce this result? (Evans PDE)

One of the exercises in Evans book on PDEs (at the end of chapter 7) is given as follows: Assume $$u_k\rightharpoonup u\quad\mbox{in}\quad L^2(0,T;H^1_0(U)),$$ $$u_k'\rightharpoonup ...
-1
votes
0answers
17 views

ELITIC PDE - derivatives and Hessian estimates [closed]

I am dealing with minimal surface problem, from which I need to obtain gradient and Hessian informations $$A= \int \int (1+u^2_x + u^2_y)^{1/2} dx dy$$. Does anybody know, how to proceed? thanks!
1
vote
1answer
28 views

If $\nabla u\in L^2(\mathbb{R}^n)$, then $u\in L^2_{loc}(\mathbb{R}^n)$

Suppose $u\in D'(\mathbb{R}^n)$ (i.e., $u$ is a distribution) can be identified with a weakly differentiable function such that $\nabla u\in L^2(\mathbb{R}^n)$. Show that $u\in ...
0
votes
1answer
30 views

Continuously differentiable functions are weakly differentiable

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain and $u\in C^1(\Omega)$. I want to show, that $u$ is weakly differentiable, i.e. $$\int_\Omega\psi\frac{\partial u}{\partial ...
1
vote
1answer
28 views

Weak convergence in the Sobolev space and compact embeddedness

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain $H:=W_0^{1,2}(\Omega)$ be the Sopolev space $u\in C^0\left(\overline\Omega\times [0,\infty)\right)\cap C^{2,1}\left(\Omega\times ...
0
votes
1answer
41 views

$L^2$ inner product split over sub-domains in $\mathbb{R}^3$

I have a bounded Lipschitz domains $\Omega, \Omega_1, \Omega_2 \subset \mathbb{R}^3$ such that $\overline{\Omega}=\overline{\Omega}_1 \cup \overline{\Omega}_2$ and $\Omega_1 \cap \Omega_2=\emptyset$. ...
0
votes
1answer
26 views

Prove that each $W_0^{1,2}$-function is weakly differentiable

Let $\Omega\subseteq\mathbb R^n$ be open. $u\in\mathcal L^1_\text{loc}(\Omega)$ is called weakly differentiable $:\Leftrightarrow$ $\exists v\in\mathcal L^1_\text{loc}(\Omega;\mathbb R^n)$ with ...
-1
votes
2answers
38 views

Difference quotients and weak derivatives (Evans 5.8.2 theorem 3) [closed]

Could anyone give a proof on the remark below the theorem? Basically it is problem 11 I think the proof relates to example 19.19 (p.375) in enter link description here But I really do not ...
1
vote
1answer
30 views

Computing weak derivatives on an open square

I am looking at the computation of weak derivative in the blog https://sunlimingbit.wordpress.com/2012/11/25/one-example-related-to-weak-derivative-2/ For equation (3), I have some confusions. Here ...
5
votes
2answers
86 views

Does convergence in H1 imply pointwise convergence?

I'm trying to figure out if convergence in $H^1(a,b)$ implies pointwise convergence (by the way: what is the usual name of this space?). It is defined to be Hilbert space of absolutely continuous ...
3
votes
0answers
164 views

Using a sequence of measures to create simple functions which approximate the Radon-Nikodym derivative of the limiting measure

I have a bunch of discrete probability measures with finite support: $\mu_1,\mu_2,\dots$, which strongly converge to an absolutely continuous probability measure $\mu$ in $\mathbf{R}^2$. That is, for ...
0
votes
2answers
80 views

Does the existence of weak derivatives require the lower order derivatives also to exist?

I just want to confirm that for weak derivatives you don't require the lower order derivatives to exist in order for the higher order derivatives to exist?
0
votes
0answers
14 views
1
vote
1answer
18 views

How to solve a simple differential equation in the way of weak solutions?

I want to prove that the solution equation $y'=y$ is $y=Ce^x$, where $C$ is a constant. Here $y$ belongs to the space of linear operators on $C_0^\infty(\mathbb{R})$, and $y'$ is its weak ...
0
votes
1answer
52 views

Interpolation between derivatives

I am trying to prove the following: Let $u \in W^{2,2}(\mathbb R)$. Then $\| u^\prime \|_{L^2}^2 \leq \| u \|_{L^2} \| u^{\prime \prime} \|_{L^2}$ holds (these are meant to be weak derivatives). ...
0
votes
0answers
15 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 }. ...
1
vote
1answer
18 views

Compact support of derivatives of $u$ in weak sense

I would like to know if let $u:\mathbb{R}^n\to \mathbb{R}$ be a function in $W^{k,p}(\mathbb{R}^n)$ such that $u$ has compact support in $\mathbb{R}^n$ then, for each $|\alpha|\le k,$ $D^\alpha u$ ...
0
votes
1answer
27 views

Weak derivative of $t^{\beta-1}$

Let $g(t)=t^{\beta-1}$, where $\beta\in (0,1)$. I am pondering, if there exists a weak derivative of $g$ in space $L^1(0,T)$, $T>0$. Firstly, we see that $g\in L^1(0,T)$. Now, we are looking for ...
1
vote
1answer
19 views

Dirac Delta function to solve PDE in the sense of distribution

For each Borel set $A$ and $x\in\mathbb{R}^n$, denote Dirac measure centered at $x$ as \begin{equation} \delta_x(A)=\begin{cases} 1 & \mbox{ if } x\in A \\ 0 & \mbox{ otherwise}. \end{cases} ...
2
votes
2answers
63 views

Continuous function without a weak derivative

Let $f:\Omega\to\mathbb{R}$ be a continuous function. Is it necessarily true that $f$ has a derivative in the weak sense? That is, is there some $v:\Omega\to\mathbb{R}$ such that for every test ...
0
votes
1answer
32 views

Show that this function is weakly differentiable

I need to show that the function \begin{equation} u(x,y) = 1-x_1^2 \quad x_1>0 \\ u(x,y)=1+x_1^2 \quad x_1 \leq 0 \end{equation} is weakly differentiable on the unit ball. It is clear what the ...
5
votes
2answers
584 views

Questions about weak derivatives

There are two definitions of generalized differentiation that seem relevant to the context of PDEs. (That is we generalize what objects can be differentiated but we stay in Euclidean space. There are ...
3
votes
1answer
676 views

Second derivative Dirac delta distribution times $(x-a)^2$, intepretation

I'm not sure if this calculation is correct and if I interpret it correctly (from old exam). Show that $ (x-a)^2 \delta ''_a = 2 \delta _a $. We have for distributions $f$ and test functions ...
0
votes
0answers
27 views

Energy functional for a differential equation

Is there a variational formulation for the following differential equation: $\frac{\partial}{\partial x}(D(u,x)\frac{\partial u}{\partial x})=0 $ $x$ varies over $[0,1]$, $D$ is bounded, is ...
1
vote
1answer
41 views

Weak derivative (Sobolev spaces)

I'm reading "Functional Analysis" - Michel Willem and I can't understand the definition of weak derivative from chapter 6, namely the definition of $$ \partial^\alpha f. $$ Can you give me a concrete ...
6
votes
2answers
299 views

Weakly differentiable but classically nowhere differentiable

Is there any example of a function which is weakly differentiable but none of its versions are classically nowhere differentiable (or differentiable only on a set of measure 0) ? Thanks
1
vote
2answers
36 views

A step of change of variables I don't understand when show derivative of a function in $L^n$?

How (16) can goes to (17) and how to show $loglog(1+\frac{1}{|x|})\in L^n$ for $n>1$? My attempt: Let $|x|=r$, then $(x^2)^{\frac{1}{2}}=r$. Differentiate on both sides, I get ...
0
votes
0answers
48 views

Proof-verification: $C^1$-functions are weak differentiable

I wanted to prove that the strong derivative coincides with the weak derivative if the function is regular enough, i.e.: Let $U \subset \mathbb{R}^n$ be an open subset and $f \in C^1(U)$, then for ...
1
vote
1answer
45 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 ...
0
votes
2answers
70 views

Question about this problem If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$

In this problem If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$ I don't understand this part: $$ \int_U \partial_i u^\epsilon\,v\,dx\to 0\tag w$$ for all $v\in L^2(U)$, but now we only ...
2
votes
2answers
87 views

How to prove if $u\in W^{1,p}$, then $|u|\in W^{1,p}$?

How to prove if $u\in W^{1,p}$, then $|u|\in W^{1,p}$? Since $|u|\in L_p$, I only need to show weak derivative of $u$ exists and $Du \in L_p$. Can anyone give me some hint? Thanks!
0
votes
1answer
51 views

How to prove the chain rule with respect to weak derivatives?

The following theorem is on the textbook "weak differentialble functions". I found it confusing from the absolutely continuous part. I am writing to ask is this the only way to prove it? Can anyone ...
1
vote
1answer
86 views

Difference quotient bounded in $L^1$ does not imply the weak partial derivative exists and is in $L^1$

Let $U\subset \mathbb{R}^{n}$ be open and $V \subset\subset U$ ($V$ is open and compactly contained in $U$). $C$ is a fixed constant. Given $u\in L^1(U)$. Show by example that if we have ...
1
vote
0answers
39 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*} ...
0
votes
2answers
109 views

first order weak derivative of function $ f(x) = |x| $

let $f(x)= |x| $ how can I calculate the first order weak derivative of this function in $x=0$? Does anyone have an idea on how to calculate this?
0
votes
0answers
114 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 ...
5
votes
1answer
55 views

Geometric Interpretation of Weak Derivative

As we know, classic derivative $f'(x)$ of a function $f(x)$ can be interpreted as the rate of change of function $f$ in each point $x.$ How about weak derivative? Since it is defined through integral ...
1
vote
0answers
32 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 ...
0
votes
0answers
28 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
1answer
51 views

calculate weak derivate of $|x-2|^2$

Let $u$ be a function with $u(x):=|x-2|^2$ on $I:=(-1,1)$. I want to test whether $u \in H^2(I) \backslash H^3(I)$. Let $\phi$ be in $C_0^\infty(I)$. Then: $T_u(\phi '') = \int_{-1}^1 |x-2|^2 ...
0
votes
0answers
52 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$$ ...
1
vote
1answer
59 views

Existence of weak derivative

Can a uniformly continuous function have a weak derivative?. In other words can $C_{unif.~cont.}$ be continuously be embedded in $W^{1,2}(\Omega)$.?
1
vote
2answers
53 views

Which Sobolev-Space to use to formulate weak biharmonic equation, $H^2_0$ or $H_0^1\cap H^2$?

For the weak formulation of the biharmonic equation on a smooth domain $\Omega$ $$ \Delta^2u=0\;\text{in}\;\Omega\\ u=0, \nabla u\cdot \nu=0\; \text{on}\; \partial\Omega $$ why does one take ...
0
votes
1answer
41 views

Choosing a clever “test function” in Sobolev spaces.

Given $\mathbf{f}$ with $f_1,...,f_N\in L^2(\Omega)$ $$\int_\Omega \mathbf{f} \cdot \nabla v = 0 \quad\forall v \in H_0^1(\Omega)$$ we have $\mathbf{f} = \mathbf{0}$ a.e. since $\mathbf{f} \in ...
0
votes
0answers
61 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 ...
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 ...
2
votes
0answers
67 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 ...