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

2
votes
1answer
367 views

What is good about homogeneous functions?

Given $r>0$ and $f:\mathbb{R}^n\to \mathbb{R}$, $d_rf$ is the function defined by \begin{equation}d_rf(x_1,x_2,\dots,x_n)=f(rx_1,rx_2,\dots,rx_n)\end{equation} and is called the $r$-dilation of ...
0
votes
2answers
177 views

How to cook up test functions?

Let $\Omega\subset \mathbb{R}$ be open. A test function is a $C^\infty$ function with compact support. This is a rather strong restriction, for instance, no analytic function is a test function. But ...
1
vote
0answers
86 views

What is $\overline{\partial} 1/z^2$?

it is all in the title : what is $\overline{\partial} \frac{1}{z^2}$ in the sense of distributions ? I remember that $\overline{\partial} \frac{1}{z}$ is a dirac at 0, but I can't seem to find a way ...
6
votes
2answers
431 views

Fractional derivatives of delta function $ \delta (x) $

How can I define the fractional derivative of the Delta function? I mean $D^{\alpha}= \frac{d^{\alpha}}{dx^{\alpha}} $ where $\alpha$ can be any real number, then if we define $D^{\alpha} \delta (x) ...
2
votes
1answer
154 views

generalized functions (Distributions) elementary question

I am working with Strichartz's "A Guide to Distribution Theory and Fourier Transforms" (self-study -> not a homework question). He says none of the distributions that correspond to $1/|x|$ are ...
0
votes
1answer
123 views

Confused by a proof in Rudin's Functional Analysis

I am referring to a proof in Part II of Rudin's Functional Analysis. I got confused by his proof of Thm 6.26 (page 167). He says by applying (2) successively we can get inequality (4), but I do not ...
1
vote
1answer
65 views

Nice example where $D^{\alpha}\Lambda_{f}\neq\Lambda_{D^{\alpha}f}$?

Let $\Omega\subset\mathbb{R}^n$ be open and $f$ be a locally integrable function. The distribution associated with $f$, $\Lambda_{f}\in D'(\Omega)$, is defined via \begin{equation} ...
2
votes
0answers
72 views

Good references on Distribution Theory [duplicate]

Possible Duplicate: Distribution theory book Two books I have been reading are Strichartz's A Guide to Distribution Theory and Fourier Transforms and PartII of Rudin's Functional Analysis . ...
2
votes
0answers
99 views

Liouville's Theorem in $\mathbb{R}^n$

Liouville's Theorem states that if a tempered distribution is harmonic, $\Delta{u}=0$, then $u$ is given by a polynomial. For the argument, we take Fourier transform of $\Delta{u}=0$ to obtain ...
4
votes
2answers
562 views

Convergence of test-functions is not induced by any metric.

By $\mathcal{D}(\mathbb{R})$ we denote linear space of smooth compactly supported functions. We say that $\{\varphi_n:n\in\mathbb{N}\}\subset\mathcal{D}(\mathbb{R})$ converges to ...
1
vote
1answer
111 views

Delta function question

Given the functions $$f(x)= \delta (x-a)$$ $$g(x)= \frac{1}{a} \delta \left(x- \frac{1}{a}\right)$$ for a real constant $a\gt0$, is there a relationship between $f$ and $g$? I believe that $ ...
5
votes
2answers
412 views

Square root of compactly supported C-infinity function

Given $u \in \mathcal{C}^\infty_0(\mathbb{R}^n)$, $u \geq 0$ everywhere, is $v(x) = \sqrt{u(x)}$ also in $\mathcal{C}^\infty_0$? It is clear that the only problematic points are the boundary of the ...
2
votes
2answers
248 views

Regarding the definition of Schwartz Space of functions

I came across a definition of Schwartz Space where they were defined as functions $f$ such that $\mathrm{lim}_{|x|\to \infty} |x^{\alpha}D^{\beta}f(x)|=0$ for any pair of multiindices $\alpha,\ ...
0
votes
1answer
174 views

how to compute the convolution of two measures explicitly

Here is my example:u and v are the surface measures on the spheres {${x;|x|=a}$} and {${x;|x|=b}$} in $\mathbb{R}^{3}$.Then what's $u\ast v$ ? And what if in $\mathbb{R}^{n}$?
7
votes
1answer
384 views

What's the Fourier transform of these functions?

The Fourier transform of $|x|^{\alpha}$. This is the Fourier transform of a homogeneous function, and there are several cases of various $\alpha$: when $a\leq -n$, it's not a temperate distribution; ...
4
votes
1answer
191 views

A question about convolution of two distributions

Generally,when taking convolution of two distributions,at least one of which is supposed to be of compact support. But when u,$v\in S'(\mathbb{R})$ ( temperate distributions) have suports on the ...
2
votes
1answer
121 views

Some questions about distribution theorem

Given an equation $P(D)u=0$, where $P$ is a polynomial (not equal to a constant). Here are some basic information about the distributional solution $u$: If $P$ has at least one real root, then there ...
1
vote
1answer
786 views

Proving the mean value property of harmonic functions using distributions?

A professor I talked to showed me a proof of the mean value property. (He actually showed it for functions solving the heat equation instead of Laplace's equation, but it seems like the argument is ...
3
votes
1answer
289 views

The distribution $\Delta u$ (where $u = \ln|\vec{x}|$)

Problem Consider the function $u(\vec{x})=\ln|\vec{x}|$ as a distribution on $\mathbb{R}^3$ and $\mathbb{R}^2$. We want to determine $\Delta u$ in the distribution sense. First calculate $\Delta u$ ...
1
vote
1answer
646 views

What is the sum of only half the exponential terms that give the Dirac comb?

The following infinite sum of exponential terms gives a Dirac comb: $$ \sum_{n=-\infty}^\infty e^{i n x} = 2 \pi \sum_{n=-\infty}^\infty \delta(x - 2 \pi n) $$ Of course the sum doesn't strictly ...
3
votes
1answer
853 views

Normalization parameter, properties of Dirac delta functions

Suppose $\psi_E (x)=N(E)\exp (ikx)$ where $\psi_E (x)$ is a momentum eigenfunction, $N(E)$ is the normalization constant on the energy scale such that $\langle E'|E\rangle=\int_{-\infty}^\infty ...
1
vote
0answers
177 views

Integration methods for functions with Delta distributions

Which Monte-Carlo methods are available for computing a multidimensional integral with Delta distributions (in case one cannot sample them explicitly)? PS: I also asked a similar question at ...
3
votes
0answers
102 views

Colombeau product of distributions

How can use the Colombeau generalized function method to evaluate the product of distributions $ \delta (x) \times \delta (x) $ or $ \delta ^{n} (x) \times \delta ^{m} (x) $ (derivatives of dirac ...
5
votes
2answers
625 views

limit of an integral with a Lorentzian function

We want to calculate the $\lim_{\epsilon \to 0} \int_{-\infty}^{\infty} \frac{f(x)}{x^2 + \epsilon^2} dx $ for a function $f(x)$ such that $f(0)=0$. We are physicist, so the function $f(x)$ is smooth ...
3
votes
1answer
56 views

Uniform convergence and convergence in $S'(\mathbb{R}^n)$

Let $$\hat{f_\epsilon}: \xi \mapsto \exp(-\epsilon |\xi|) \frac{\sin(|\xi|t)}{|\xi| t}$$ denote to the Fourier transform of $f$. How do I see $\hat{f_\epsilon}$ converges uniformly on ...
-1
votes
1answer
132 views

Approximating an integral

Might be simple, but i don't get it. Why is the integral in the last line approximately equal to $n(\varphi(\frac{-1}{2n}) - \varphi(\frac{1}{2n}))$?
4
votes
1answer
741 views

Application of closed graph theorem.

I'm having a problem applying the closed graph theorem, which I think stems from distributions still being very new to me. I am reading a proof in Stein and Weiss, Introduction to Fourier Analysis ...
3
votes
0answers
57 views

Why $\partial_{i}(A^{*}u)=A^{*}(\sum^{n}_{j=1}a_{ji}\partial_{j} u)$?

We define the affine transformation on distributions by $$\langle A^{*}u, \phi \rangle=\frac{1}{\det(A)}\langle u,\phi(A^{-1}x)\rangle$$ Assume this we should have $$\langle \partial_{i}(A^{*}u), ...
1
vote
0answers
86 views

wavefront set of a distribution

If $(x_0,\xi_0)\in\mathbb{R}^{2n}$ is a given point in phase space, how do I construct a compactly supported distribution $u$ which has WF$(u)=\{(x_0,t\xi_0) | t>0\}$ ?
0
votes
1answer
1k views

Fourier transformation of sin, cos, sinh and cosh

I am trying to solve the following exercise Use $\mathcal{F}(e^{xb}) = 2\pi \delta_{ib}$ to calculate the Fourier-Transformation of $\sin x$, $\cos x$, $\sinh x$ and $\cosh x$ Now I am a little ...
1
vote
0answers
299 views

Poisson equation on half-space

Let $H$ be the open half-space of $\Bbb R^n$ defined by $x_n > 0$. Let $f : \overline H \to \Bbb R$ continuous and harmonic on $H$. Define the function $F : \Bbb R^n \to \Bbb R$ by $$ ...
0
votes
1answer
205 views

How to use the Malgrange-Ehrenpreis-Theorem

In the Wikipedia article of this theorem http://en.wikipedia.org/wiki/Malgrange%E2%80%93Ehrenpreis_theorem it is said that i could be used to prove that $P(\partial/\partial x_i)u(x)=f(x)$ has a ...
4
votes
1answer
236 views

Questions concerning a proof that $\mathcal{D}$ is dense in $\mathcal{S}$.

I am currently working through this lecture notes and on page 164, there it is said The space of $\mathcal{D}(\mathbb{R}^n)$ of smooth complex-valued functions with compact support is contained ...
2
votes
0answers
109 views

Why does the following define a distribution and of which order?

I want to show that $$\phi\mapsto\underset{\varepsilon\searrow 0}{lim}\int_{-\infty}^{\infty}\frac{\phi(x)}{x+i\varepsilon}dx$$ defines a distribution on $\mathcal{D}(\mathbb{R})$ but I just don't ...
3
votes
1answer
945 views

Does zero distributional derivative imply constant function?

If a real function $f\colon[a,b]\to\mathbb{R}$ is differentiable and its derivative $f'$ is zero, then $f$ is constant. Does this result still hold when $f$ has a weak derivative? Explicitly, suppose ...
1
vote
1answer
74 views

whats the order of a distributional derivate?

I have to calculate the derivatives of order $\le 2$ of for example $f(x) = |x|$, is it the same as the second derivate, what does this "of order $\le 2$" mean? calculating distributionell derivatives ...
1
vote
1answer
50 views

connection between the support and the representation of a distribution

I want to show, that for $u' \in \mathcal{D}'(\mathbb{R}^n)$ supp $u$ = $\{ 0 \}$ iff there exist numbers $m \in \mathbb{N}, c_{\alpha} \in \mathbb{K}$ such that $u = \sum_{|\alpha| \le m} c_{\alpha} ...
0
votes
2answers
70 views

why is $\frac{\phi(x)-\phi(-x)}{x}$ for smooth $\phi$ bounded at $x=0$

Why is $\frac{\phi(x)-\phi(-x)}{x}$ for smooth $\phi$ bounded at $x=0$? If i set $\phi(x) = \sqrt{|x|}$, it definitely not bounded. I saw this on page 293 of ...
4
votes
2answers
942 views

principal value as distribution, written as integral over singularity

Let $C_0^\infty(\mathbb{R})$ be the set of smooth functions with compact support on the real line $\mathbb{R}.$ Then, the map $$\operatorname{p.\!v.}\left(\frac{1}{x}\right)\,: ...
2
votes
1answer
185 views

What does it mean to say an integral exists 'in the distributional sense'?

What exactly does it mean to say that an integral exists 'just in the distributional sense'? For example, the Fourier transform of $x^2 e^{-\lambda x}$ or of $H(R-|x|)$ where $R > 0$ and $H$ is the ...
0
votes
2answers
1k views

distributional derivative

I want to calculate the first and second distributional derivate of the $2\pi$-periodic function $f(t) = \frac{\pi}{4} |t|$, it is $$ \langle f', \phi \rangle = - \langle f, \phi' \rangle = ...
1
vote
1answer
82 views

How can an ordinary function be a distribution?

I think distributions are linear and continuous functionals on the set of testfunctions. In a textbook I saw this question: Let $f$ be a $2\pi$-periodic function with $f(t) = \frac{\pi}{4}|t|$ ...
2
votes
1answer
115 views

Show that a functional is a distribution

Consider the following functional $$ \langle u , \phi \rangle = \int_0^{\infty} \phi(t) \frac{\mathrm{d}t}{t^{\alpha}} $$ I want to show that it is a functional in $\mathcal{D'}{(\mathbb{R})}$. ...
4
votes
2answers
152 views

Function $f$ such that Fourier-series converges uniformly, but the series of the derivatives are divergent

I am studying Fourier-transformation right now, and I am asking if there exists a function $f$ such that is Fourier-series converges uniformly, the Fourier-series of $f'$ only in $L_2$ and that $f''$ ...
0
votes
2answers
38 views

what could be said about the series of test-functions?

in another thread an offtopic question came to my mind. Consider a test/bump function $\phi$, then consider all its derivatives $\phi^{(k)}$, of course they are bounded by constants $M_k$, next form ...
2
votes
2answers
177 views

What is wrong in this counter-example?

In reading my textbook, the author give a lemma as follows: Let $X\subset \mathbb{R}^{n}$ be an open set, and let $u\in \mathcal{E}'(X)$ have order $N$. Then $\langle u,\phi \rangle=0$ for all $\phi$ ...
1
vote
1answer
261 views

Are test/bump functions always bounded?

a bump function is a infinitely often differentiable function with compact support. I guess that such functions are always bounded, especially because the set where they are not zero is compact and ...
3
votes
1answer
136 views

What is the mistake in my reasoning?

I am working on the following problem trying to use strategy in this problem. I am trying to simplify the proof by working with $v_{i}=0,i\not=1$ case. But the result looks very different from what I ...
1
vote
0answers
147 views

Fundamental solution of a vector field

Consider a smooth real vector field $X(x,\partial _x)=\sum a_i(x) \frac{\partial}{\partial x_i}$ on an open subset $\Omega \subset \mathbb{R}^n$ (which is assumed to be sufficiently regular) as a ...
2
votes
1answer
62 views

Confusion on continuous linear forms

In Friedlander's book "introduction to the theory of distributions" he claimed(on page 35): "Now the equation $$|\langle u,\phi\rangle| \le C\sum_{|a|\le N|}\sup\{|\partial^{\alpha}\phi|:x\in K\}$$ ...