Use this tag for questions about Schwartz distributions, also known as Generalised Functions. For questions about "probability distributions", use (probability-distributions). For questions about distributions as sub-bundles of a vector bundle, use (differential-geometry).

learn more… | top users | synonyms

4
votes
1answer
51 views

How to show distribution $T$ is a constant

Let $T$ be a distribution on $\mathbb{R}$. $\tau_a\phi(x)=\phi(x-a)$ and $\langle T,\tau_a\phi\rangle=\langle T,\phi\rangle$ for all $a\in \mathbb{R}$ and all test functions $\phi$. Prove that $T$ ...
0
votes
1answer
19 views

Do 3-D vectors of distributions (specifically vectors containing delta functions) have Helmholtz decompositions?

Define the function $f_i:\mathbb{R}^3\rightarrow\mathbb{R}^3$, $i\in\{1,2,3\}$, by $f_i(\boldsymbol{x})=\delta(\boldsymbol{x-x_0})\boldsymbol{e}_i$ where $\delta$ is the Dirac Delta function and ...
1
vote
1answer
180 views

Dirac delta distribution and measure?

Of course the Dirac delta is not a function. Despite, I think the concept of a measure is much easier than that of a distribution. Therefore, I was wondering: In what sense is the concept of a Dirac ...
3
votes
2answers
137 views

Topology of test functions $\mathcal{D}(\mathbb R)$

(My motivation for the following question is to understand the distribution theory) The space of test functions: $\mathcal{D}(\mathbb R)= \{\phi:\mathbb R \to \mathbb R : \phi \in C^{\infty}(\mathbb ...
1
vote
1answer
57 views

Is $\langle f,g\rangle$ defined for distributions $f,g$?

Consider a standard setting for the development of the theory of distributions. Let $D(\Omega)$ be the space of test functions and $D'(\Omega)$ be the space of distributions ("generalized functions"). ...
1
vote
1answer
58 views

Prove or disprove: $e^{-nG(x)}$, normalized, is an approximation to the identity for $G(x)$ strictly convex

We are given the sequence of functions $$ \phi_{n} = \frac{e^{-nG(x)}}{\int_{\mathbb{R}}e^{-nG(x)}dx}$$ for a nonnegative, strictly convex function $G$ (that is, $G'' \geq c$ for some $c>0$) that ...
2
votes
1answer
54 views

Cauchy singular integral operator

Help on proving the following equality: $$K(-sgn)=S$$ where $K$ is the operator defined by $K(f)=F^{−1}fF$ ($F$=fourier transform, $f$=any function), sgn is the signum function and S is the Cauchy ...
0
votes
1answer
31 views

Fourier transform of function similar to a Riesz kernel

I am trying to prove that the Fourier transform of $$\frac{x_1 x_2} {|x|^4}$$ in $\mathcal{R}^2$ (in the sense of distributions) is a bounded multiplier given by $\frac{\xi_1 \xi_2}{|\xi|^2}$ but am ...
4
votes
0answers
72 views

Limit of distribution

Let $T\in\mathcal{D}'(\mathbb{R})$ be a distribution on the set of smooth functions of compact support $\mathcal{D}(\mathbb{R})$ such that $$ \forall_{g\in\mathcal{D}(\mathbb{R})}~|\langle T, g ...
0
votes
1answer
64 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 ...
0
votes
1answer
54 views

Surface area of sphere in N dimensions; and a failed extension to ellipsoids

I'll present a calculation of the surface area of a sphere in $N$-dimensions. This calculation is performed in cartesian coordinates. I haven't seen the computation done this way before (though I ...
1
vote
1answer
119 views

Weak-Strong Derivatives

If a continuous function $u:\mathbb R^d\to \mathbb R$ has a weak derivative $\frac{\partial u}{\partial x_j}$ that exists everywhere as a locally integrable function, and it is even continuous, does ...
4
votes
1answer
82 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
54 views

Show that the Fourier transform of a a distribution is $C^{\infty}$

I am trying to understand the solution to the following problem: Let $u \in \mathcal{D}'(\mathbb{R}^{n})$ such that $u(x) = c \log(|x|)$ when $|x|>1$, where $c \in \mathbb{C}$. Show that $u \in ...
0
votes
1answer
44 views

Limit of $t^2 \cos t x$ as distribution.

I am interested in finding the limit $t^2 \cos t x$ as $t \rightarrow \infty$ in the sense of schwartz distributions. After some integration by parts I get $$( t^2 \cos t x,\phi)=\int ...
2
votes
0answers
78 views

Show that the Hilbert transform is a pseudo-differential operator of order 0

I have tried to solve the following exercise but I don't know if I have missed anything. Show that the Hilbert Transform $Hf = \mathcal{F}^{-1}(\operatorname{sgn}(\xi)\hat{f}(\xi))$ is a ...
1
vote
0answers
52 views

Extension of a Pseudodifferential Operator

Let $M$ be a smooth manifold with countable atlas, and define the distributions $\mathscr{D}'(M)$ as the dual space to the smooth densities with compact support, and $\mathcal{E}'(M)$ as the dual ...
1
vote
1answer
98 views

Find distribution solving a differential equation

I think I have solved the following differential equation, but I am not sure of all steps are justified. Exercise: Find all distributions $u \in \mathcal{D}'(\mathbb{R})$ such that $x(u' -u) = ...
1
vote
0answers
53 views

Finding weak solutions

I am trying to understand how to solve differential equations of distributions. For example if one consider $ u' + u = \delta_{0}$, where $ u \in \mathcal{D}'$, this would correspond to $<u, ...
2
votes
1answer
39 views

Duals of embeddings in the space of distributions

If $ \Lambda \colon X \hookrightarrow \mathcal{D}'$ is a continuous embedding of a normed vector space $X$ into the space of distributions (for example $X=L^p$), is it true that the dual of ...
0
votes
1answer
69 views

Find limit of a sequence of distributions

I am trying to solve the following exercise: Determine the limit in $\mathcal{D}'(\mathbb{R})$ of $\lim_{t\rightarrow \infty} t^{2}xe^{itx}$, $u_{t} = t^{2}xe^{itx}$. I have tried evaluating the ...
-2
votes
1answer
98 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
84 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 ...
3
votes
0answers
51 views

Do we have $C^\infty \cap \mathcal{O}_C' = \mathcal{S}$ and/or $C^\infty \cap \mathcal{S}' = \mathcal{O}_M$?

We define the following traditional function spaces from distribution theory. $\mathcal{S}$ the space of rapidly decreasing smooth functions. $\mathcal{S}'$ the space of tempered distributions, dual ...
2
votes
1answer
54 views

Poisson summation formula for the Casimir effect

I'm studying the Casimir Effect at finite temperature. To calculate the Helmoltz free energy in the canonical ensemble I need to sum a particular series. In some scientific papers it is suggested to ...
0
votes
0answers
52 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
27 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 ...
2
votes
1answer
44 views

Why do test functions have to be real valued?

Seems like if functions can be made to be complex-valued, they're going to be complex-valued. I have not seen anything about why test functions must be real valued.
1
vote
2answers
221 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 ...
0
votes
0answers
58 views

Is $2\delta(x) \neq \delta(x)$?

$2\delta(x) \neq \delta(x)$ since, by definition, Can this been seen graphically though? If so, how? If not, why is it that they are mathematically different but graphically the same? Btw, I ...
1
vote
1answer
62 views

show a PDE has no distribution solution in $\mathbb{R^2}$\{0}

" Consider the following equation in the plane $x\frac{\partial u}{\partial y}-y\frac{\partial u}{\partial x}=f(x^2+y^2)$ where $f(t)$ is a $C^\infty$ function of the real variable $t$ such that ...
1
vote
1answer
63 views

Fourier transform of $\frac{x_i^2}{|x|^2}$

For a function $f$ in $L^1(\mathbb{R}^n)$, it is natural to define the Fourier transform as $$\mathscr{F}(f)(\xi)=\int_{\mathbb{R}^n}f(x)e^{-ix\cdot \xi}dx.$$ And the we may extend it to rapidly ...
1
vote
0answers
81 views

Does the fundamental theorem of calculus hold for BV functions?

I am a bit confused and I hope you can help me in understanding a bit better these things. Let us start by considering one dimensional case. Let $f\colon \mathbb (a,b) \to \mathbb R$ be a function. ...
0
votes
1answer
81 views

Verify that a function is a solution to the 3-dimensional wave equation.

For $n=3$. How to verify that a smooth function $$ u(.,t)=f*\partial_t\Phi_t+g*\Phi_t \tag{*} $$ is a solution to the 3-dimensional wave equation $$ u_{tt}=\Delta{u} \quad u(x,0)=f(x) \quad ...
0
votes
0answers
158 views

Delta function?

I came across this integral: \begin{align} \int_{-\infty}^{\infty} \mathrm{d}k_1 |f(k_1)| \int_{-\infty}^{\infty} \mathrm{d} k_2 |g(k_2)|& \nonumber \times\bigg\{\lim _{V \to ...
0
votes
0answers
85 views

Dilation and translation of the Dirac Delta distribution

Given $\delta(ax) = \frac{1}{|a|}\delta(x)$ and $\delta(ax-b) = \frac{1}{|a|}\delta(x-b/a)$ , it it true also that $\delta(a(x-b)) = \frac{1}{|a|}\delta(x-b)$ ?
1
vote
1answer
216 views

The issue of treating an inverse Fourier transform in terms of a tempered distribution.

Consider the wave equation $$ u_{tt}=\Delta{u} \quad u(x,0)=f(x) \quad u_t(x,0)=g(x) \tag{*} $$ A solution to this equation is given by $$ u(.,t)=f*\partial_t\Phi_t+g*\Phi_t \tag{**} $$ where ...
1
vote
1answer
67 views

convolution -questions

I'm lost, can you help me please. How compute the product convolution between two distributions $T$ and $S$? (we suppose that $T * S$ exist)? How we compute the product convolution between an ...
2
votes
1answer
38 views

Convolution computing

How we can compute the convolution product $$\Big(\sum_{n=0}^{+\infty} \delta_n^{(n)}\Big) \star \Big(\sum_{n=0}^{+\infty} \delta_n\Big)$$ where $\delta$ is Dirac distribution? Thank's for the help
0
votes
1answer
54 views

Computing Fourier transform of a surface measure.

I am almost beginner in the topics of Fourier transform. So, I am asking this question here. Let $n=3$ and let $\mu_t$ denote surface measure on the sphere $|x|=t$. Then how do we show that $$ ...
0
votes
1answer
89 views

Understanding a use of Leibniz Formula, functional analysis

I am working through the following text: http://homepage.ntlworld.com/ivan.wilde/notes/gf/gf.pdf Several times the author cites 'Leibniz Formula' which I understand as the product rule. I am not sure ...
1
vote
1answer
63 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
43 views

Smoothness of distributions

I've reached an impasse in reading some texts on distribution theory, as several of them mention smooth distributions, but none of them actually define what it means. Therefore I'd like to know if ...
1
vote
1answer
42 views

Examples of functions with values in distributions

What is an example of a function in $L^p((0,T);\mathcal{D}'(\mathcal{R}))$? I ask this because the Majda-Bertozzi book on Incompressible flow deals with vortex sheet initial data $\omega(t,\cdot)\in ...
2
votes
0answers
133 views

Derivative of Dirac delta behavior at 0

I calculated the curl of the vector field $\vec j = \delta(z) f(\rho) \vec e_\phi$ in cylindrical coordinates (ρ,φ,z). For the $\vec e_ρ$ unti vector I got: $$-\delta'(z)f(\rho)$$ The main question ...
1
vote
1answer
53 views

Holomorphic Schwartz-space-valued function

I was trying the last few days to generalize the Paley-Wiener theorem in a quite obvious direction... or so I thought. The original Paley-Wiener theorem talks about functions and distributions with ...
0
votes
0answers
35 views

Compactly supported distribution is finite linear combination of …

How to show that every compactly supported distribution can be expressed as a finite linear combination of (distributional) derivatives of functions in ${C^k_0({\bf R})}$, for any fixed $k$?
1
vote
0answers
56 views

Method of PDE solution by Fourier transform

In Rudin's Functional Analysis (Chapter 7, exercise 17), Rudin claims that for $n=1$ or $2$, if $u$ is a distribution on $R^n$ with compact support $K$, whose Fourier transform $\hat{u}$ is a bounded ...
1
vote
1answer
71 views

A distribution of order k+1 is sum of two.

Let $\lambda$ be a compactly supported distribution of order $k+1$ then how to prove $\lambda=\delta'+\mu$ for some compactly supported distributions of order $k$?
1
vote
0answers
46 views

Calderón-Zygmund $\times$ Schwartz $=$ Calderón-Zygmund

I am in a functional analysis class, and we are being asked to show that if $\eta$ is a Schwartz function and $K$ is a Calderón-Zygmund distribution, then their product is also a Calderón-Zygmund ...