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 function $f$ such that $f \in L^1$ and $f$ is differentiable almost everywhere (in the strong sense) and […]

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 functions on some (possibly infinite) interval such that both function and its (weak) derivative are square integrable. Scalar product in this space […]

My quesion involves the weak time derivative. In the book: ‘Partial Differential Equations’ by Evans the time derivative $u’$ of a function $u: [0,T] \rightarrow H^1_0(U)$ is defined by an element $u_t \in L^2(0,T;H^{-1}(U))$ such that $$ \forall \phi \in C_0^{\infty}([0,T]): \int_{[0,T]} u \phi’ dt = -\int_{[0,T]} u’ \phi dt $$ Where $u’\phi$ and $u […]

Let $\Omega \subseteq \mathbb{R}^n$ (open) and $u \in \mathcal{D}’$ be a distribution, that has a distributional derivative which is in $L^p(\Omega)$ (for some $p \geq 1$). Show that $u \in L^p_{loc}(\Omega)$ …where $L^p(\Omega)$ is defined as in https://en.wikipedia.org/wiki/Lp_space#Lp_spaces and $L^p_{loc}(\Omega)$ is defined as in: https://en.wikipedia.org/wiki/Locally_integrable_function#Generalization:_locally_p-integrable_functions My thoughts: 1) For notational simplicity let’s call $Du = […]

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 also other types of generalizations that change the space like Frechet or Gateaux derivatives in Banach spaces.) One is that we take any […]

Don’t get me wrong, I understand that it is important in mathematics to qualitatively study the problems given. But I would like to know to what extent this helps for example, to actually solve the problem. I am reading books that deal with variational approach for elliptic PDEs like the Laplacian. Apart from transforming the […]

I am reading Functional Analysis, Sobolev Spaces and Partial Differential Equations, by Haim brezis, and I am a bit confused about the proof. The theorem is stated as: Let $\Omega \subset \mathbb{R}^n$ be an open set of class $C^2$ with $\partial \Omega$ bounded. Let $f \in L^2(\Omega)$ and $u \in H_0^1(\Omega)$ satisfies the weak formulation […]

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 $D|u| \in L_p$. Can anyone give me some hint? Thanks!

As the title say, I want to prove that $C_c^{\infty}(\mathbb R^n)$ is dense in $W^{k,p}(\mathbb R^n)$ i.e. $\displaystyle{ W^{k,p} (\mathbb R^n) = W_0^{k,p}(\mathbb R^n) \quad (\star)}$. In a book I found that in order to prove it, we need the following claim: Claim: Let $\displaystyle{\zeta \in C^{\infty} ([0, \infty)) }$ such that $\zeta (t) =1 […]

Let $u\in W^{1,p}(U)$ such that $Du=0$ a.e. on $U$. I have to prove that $u$ is constant a.e. on $U$. Take $(\rho_{\varepsilon})_{\varepsilon>0}$ mollifiers. I know that $D(u\ast\rho_{\varepsilon})=Du\ast\rho_{\varepsilon}$, so $u\ast\rho_{\varepsilon}(x)=c $ for every $x\in U$, since it is a smooth function. How can I conclude?

Intereting Posts

How to show that geodesics exist for all of time in a compact manifold?
Prove: For any sequence of linearly independent elements $y_j \in X$ and $a_j \in \mathbb R$ there exists an element $f \in X^*$ s.t. $f(y_j)=a_j$
Double check $G\sim H$ iff $G≈H$
Solving an integral with substitution method
Meaning of a set in the exponent
sum of this series: $\sum_{n=1}^{\infty}\frac{1}{4n^2-1}$
Continuity of multidimensional function: $f_1(x,y)=\frac{x^2y}{x^2+y^2}$ and $f_2(x,y)=\frac{2xy^3}{(x^2+y^2)^2}$
Median of medians algorithm
Let $trcA=0$.why $A=M+N$ where $M$ and $N$ are nilpotent matrices?
Example of two-dimensional non-abelian Lie algebra?
Liouville function and perfect square
Steiner symmetrization preserves area?
Closed Form for $~\int_0^1\frac{\text{arctanh }x}{\tan\left(\frac\pi2~x\right)}~dx$
Tensors as mutlilinear maps
Existence of function (AC)