0
votes
1answer
16 views

Close fourier transforms implies close time domain functions?

What conditions do we need so that $A(f)\approx B(f) \Rightarrow \mathcal{F}^{-1}\left\{A\right\}(t)\approx\mathcal{F}^{-1}\left\{B\right\}(t)$ The Fourier transforms of my two things look alike. In ...
0
votes
1answer
24 views

$f, \hat {f} \in L^{p} \cap L^{\infty} \implies f\in A(\mathbb R)$?

$1\leq p \leq \infty $. We put, $$X_{p}= \{f\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R) :\hat{f}\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R)\};$$ and we consider the algebra of Fourier ...
3
votes
1answer
39 views

Limit of a functional

I'd like to find: $$ \lim_{\varepsilon\rightarrow 0}\frac{\varepsilon}{\varepsilon^2+x^2}\qquad \mbox{ in }\mathcal D'(\mathbb{R}) $$ And I started with the definition: $$ \left\langle ...
3
votes
1answer
29 views

“$L^\infty$ in the sense of distributions”

The following is Exercise 3 of Chapter 3 in Stein & Shakarchi Book 4: Show that a bounded function $f$ on $\mathbb{R}^d$ satisfies a Lipschitz condition $$|f(x)-f(y)| \leq C|x-y| ...
0
votes
0answers
41 views

Infinite solutions of Navier-Stokes equations

Is it a known fact that Navier-Stokes equations have exactly one (possibly infinite) solution in the space of distributions?
3
votes
1answer
113 views

Topologies of test functions and distributions

I'm wondering about some of the topological properties of $\mathcal D(\Omega)$ and $\mathcal D'(\Omega)$: I know $\mathcal D(\Omega)$ is not metrizable, so not first countable (right?). However, my ...
0
votes
0answers
26 views

Fourier transform of a function of characteristic function of a measure

Let $\mu$ be complex measure on $\mathbb{R}^2$ ($|\mu|$ is finite measure) and $\chi$ - its characteristic function $$ \chi(x_1,x_2) = \int_{\mathbb{R}^2} d\mu(p_1,p_2) \exp(i p_1 x_1+i p_2 x_2). $$ ...
3
votes
0answers
27 views

Exponential of the derivative operator on the Schwartz space?

We consider the derivative operator $\mathrm{D}$ on the space of smooth and rapidly decreasing function $\mathcal{S}$. We denote by $P_n = \frac{1}{0!} + \frac{X}{1!} + \frac{X^2}{2!} + \cdots + ...
1
vote
1answer
30 views

Is $L^2(0,T;H^{-1}(\Omega)) \subset \mathcal{D}^*((0,T)\times \Omega)$?

Let $\Omega \subset \mathbb{R}^n$ be a domain. Consider the space of test functions $\mathcal{D}((0,T)\times \Omega)$ and the space of distributions $\mathcal{D}^*((0,T)\times \Omega).$ Is it true ...
3
votes
1answer
69 views

How to build a compact support for a function

I was wondering if it is possible to build a distribution with compact support from a function. More precisely, consider a compact set $\mathbf{K}\subset\mathbb{R}^2\setminus\{0\}$, and a function ...
3
votes
0answers
52 views

Two possible definitions of “vector-valued distribution”

Let $X$ be a reflexive Banach space. Define $$\tag{1} \mathcal{D}^\star(0, T; X)=\left\{ u\colon \mathcal{D}(0, T)\to X\ \text{linear and continuous}\right\} $$ where the topology on the space of ...
2
votes
1answer
54 views

Why the tempered distribution is zero?

My question is derived from the proof of the equation $\Delta f=f$ which has no nonzero solution in $\mathscr{S}'(\mathbb{R}^n)$. The ideal to solve this equation is to use the Fourier transform. By ...
2
votes
0answers
100 views

Problem on the integral representation of a tempered distribution

Suppose $\mathscr{S}(\mathbb{R^n})$ is the space of Schwartz functions, in which the seminorms have the form $$\left \| \varphi \right \|_{m}=\underset{\underset{x\in \mathbb{R}^{n}}{|\alpha|\leq m ...
2
votes
2answers
24 views

Can we conclude that a distribution is a $L^2$ function by testing with $L^2$?

Let $T\colon \mathcal{D}\to\mathbb{R}$ be a distribution. Does $|T(f)|\leq\|f\|_2 \forall f\in\mathcal{D}$ imply $T=T_g$ for some $g\in L^2$? What if $T$ is tempered?
4
votes
1answer
76 views

Prove that the weak$^*$ topology on the space of tempered distributions is not 1st countable

Please, help me with a proof of this (apparently) known fact whose proof is out of my reach, even though I spent a considerable amount of time looking it up: The weak$^*$ topology on the space of ...
1
vote
2answers
77 views

Distributional derivatives on hypersurface?

In a paper I was reading, the define a set $Q=(0,T)\times \Omega$, where $\Omega \subset \mathbb{R}^n$ is a bounded domain, and then they write $$\langle \frac{d}{dt}u - \Delta u, \varphi ...
5
votes
1answer
58 views

How to make sense of Fourier series for a distribution?

In particular if I have an array of numbers say, $\{c_m\}_{m\in\mathbb{Z}^n}$. Under what conditions can we say that these are the Fourier coefficients of a distribution? [For examples Bessel's ...
2
votes
1answer
41 views

Weighted Dirac comb as a tempered distribution?

I'm trying to determine when a "weighted" Dirac comb is a tempered distribution. More precisely, trying to prove: $$u=\sum_{k=1}^{\infty}c_k \delta_k\in\mathcal{S}'(\mathbb{R})\iff\exists ...
2
votes
4answers
111 views

Why is $C_c^\infty(\Omega)$ not a normed space?

I am watching a Coursera video on Théorie des Distributions and I am trying to understand one of the slides. Let $\Omega \subset \mathbb{R}^N$ be an open set and $C_K^\infty(\Omega) = \{ \phi \in ...
1
vote
0answers
30 views

Mellin-Barnes transform of $\frac{1}{\Gamma}$

Let $\varphi \in L_1(c+i\mathbb R)$, where $c > 0$. Then we can define the Mellin-Barnes transform (or the inverse Mellin transform) of the function $\varphi$ by the formula $$ \mathcal ...
1
vote
1answer
51 views

Fourier transform of $\frac{d}{dt}\ln\frac{1}{it}$

I'd like to proove the identity $$\mathcal{F}\left(\frac{d}{dt}\ln\frac{1}{it}\right)=2i\pi H$$ with $H=\mathbb{I}_{\mathbb{R}^+}$ ie the Heaviside step function, $\mathcal{F}$ denote the Fourier ...
1
vote
0answers
58 views

Does the norm exist on $\mathscr S' \subset \mathscr D'$?

I take an extension from $L^2(\mathbb R)$ to $\mathscr S'(\mathbb R)$ of tempered distributions for a mapping of nonlinear distribution. I do not want to use seminorm, but the norm, therefore the ...
2
votes
0answers
32 views

What is the motivation for “continuity in the sense of distributions”?

Let $M$ be a compact (real) manifold and let $\Omega^m_c(M)$ be the compactly supported $m$-forms on $M$. Apparently a linear map $T : \Omega^m_c(M) \to \mathbb{R}$ is continuous "in the sense of ...
2
votes
1answer
36 views

Translation is continuous

Let $\mathcal D$ be the space of 'test-functions'. Those are infinitely differentiable functions with compact support. Define the following convergence on $\mathcal D$. $(\phi_j) \to \phi$ in ...
1
vote
1answer
54 views

When is $W^{m,p}(\Omega)$ dense in $L^p(\Omega)$?

Let $\Omega\subset\mathbb{R}$, $m\in\mathbb{N}$ and $1\leq p<\infty$. What are the (most common) sufficient conditions (if such conditions exists) that we can impose on $\Omega$, $m$ and $p$ to ...
3
votes
0answers
56 views

why is test function space $\mathcal{A}$ complete

I am trying to find out, why the space $$\mathcal{A}:=\left\{\phi\in C_0(\mathbb{R}^{2d})|\;\|\phi\|_\mathcal{A}:=\int_{\mathbb{R}^d}\sup_{x\in\mathbb{R}^d}|(\mathcal{F}_p\phi)(x,y)|\;\mathrm ...
4
votes
0answers
65 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
0
votes
2answers
78 views

What is the closure of $ C^\infty_c(\mathbb{R}^n\setminus\{0\})$ in Sobolev $ W^{1,p} $ norm?

For $1 \leq p < \infty, n\geq 1 $ my guess of the answer was $ W^{1,p}(\mathbb{R}^n)$ but I can't prove the inclusion $ \overline{C^\infty_c(\mathbb{R}^n\setminus\{0\})} \subseteq ...
0
votes
1answer
77 views

Convolution of functions and measures

I need some help with this exercise. I'm not sure how to deal with it: Let $f(x)=e^{-x^2}$, $\mu$ the Lebesgue measure in $[0,1]$ and $\nu$ the Lebesgue measure in $[2,\infty)$. I have to find the ...
2
votes
1answer
38 views

Tempered fundamental solutions

According to the Malgrange–Ehrenpreis theorem every nontrivial linear constant coefficient PDO $P(\partial)$ admits a fundamental solution $E\in\mathscr{D}'$; I wonder whether $P(\partial)$ admits a ...
1
vote
1answer
68 views

Convolution of distributions is not associative

I need some help with this exercise: It proposes to show that convolution of distributions is not associative: If $T=T_1$ (distribution given by f=1), $S=\delta'$, and $R=T_H$ (we denote as $H$ the ...
1
vote
1answer
71 views

Primitive of a distribution

I need some help with this exercise, about calculating the primitive of a distribution $T$ given by a series. Is the following: ...
1
vote
1answer
75 views

Distributional derivative of a characteristic function

I need some help with this exercise about distributional derivatives: If we have $N=2$, and a function $g=\chi_{C}$, where $\chi$ is the characteristic function, and $C$ is the unitary cube ...
0
votes
1answer
42 views

A distribution that is not a Radon measure

I need help with this question: Let $N=2$, $\Omega=\mathbb{R}^2$ and $T:\cal{D}(\Omega)\to\mathbb{C}$, defined as: $<T,\phi>=\frac{\partial^2\phi}{\partial x\partial y}(0)=D^{(1,1)}\phi(0)$ I ...
1
vote
1answer
76 views

Radon measure not locally integrable

I need some help with this exercise: If we have $N=2$, $\Omega=\mathbb{R}^2$ and $T:\cal{D}(\Omega)\to\mathbb{C}$, with $$\langle T,\phi\rangle=\phi(0,1)-\phi(1,0)$$ I have to show that it is a ...
1
vote
2answers
113 views

Distribution theory problem

I need some help with this problem related with distributions: With $\cal{D}(\Omega)$ we denote de set of the functions of class $C^{\infty}$ in $\Omega$ and compact support. Let N=3. We consider ...
2
votes
1answer
67 views

Continuity condition for distributions in Rudin Functional Analysis

On page 156 of Rudin's Functional Analysis, he gives the following condition for a linear functional over the test functions $D(\Omega)$ to be continuous: A linear functional $\Lambda$ on ...
1
vote
1answer
62 views

On the composition of smooth funtions with distributions (generalized functions)

I'm trying to understand how the composition of a distribution with an infinitely differentiable function is defined and I was unable to find such a definition on the net. I read in the wikipedia ...
0
votes
1answer
48 views

Confused by a proof in Strichartz' book on Fourier Transforms

Hi I'm confused by a proof on page 53 in Strichartz book on Fourier Transforms. Specifically, in the first equation on page 53, why is it valid to interchange the action of the distribution with the ...
1
vote
1answer
63 views

Does distributional convergence imply weak convergence

let $g_k,g\in H^1(\Omega)$ (bounded domain) be given, with $g_k\to g$ in $L^2(\Omega)$. Unfortunately, I don't know whether the $g_k$ are uniformly bounded in $H^1$. I want to show that ...
5
votes
0answers
143 views

If a Radon measure is a tempered distribution, does it integrate all Schwartz functions?

The question might at first sight sound like the answer is trivially "yes", so let me clarify the question a bit. Consider given a Radon measure $\mu$ on $\mathbb{R}^n$. Let ...
2
votes
1answer
67 views

How to show a function is a test function?

How to show that $$\psi =(x^2\phi)'$$where $\phi$ is a test function, is a test function if and only if $\int_{-\infty}^{\infty} \psi dx=\int_{0}^{\infty} \psi dx=\psi(0)=0$
1
vote
1answer
83 views

Solve the following differential equaction in the sense of distribution

I have a following problem in functional analysis $$x^2\frac{du}{dx}=0$$ and I know I should solve it like this $$\langle x^2u',\phi \rangle=\langle0,\phi\rangle \Rightarrow \langle u, (x^2\phi)' ...
0
votes
1answer
42 views

distributional derivative in L^2

Assume I have a function $f \in L^2(R^d,\mu)$ or $f \in L^1(R^d,\mu)$. A. Now I know that it as distributional derivative, right? I call that $\partial f$. B. If I can show now that $\int ...
4
votes
2answers
91 views

If $u$ and $v$ have weak derivatives,what about $uv$?

$\Omega$ is a domain in $R^n$, Let $u\in L^1_{\text{loc}}(\Omega)$. If there exists $g_i \in L^1_{\text{loc}}(\Omega)$ such that $$\int_\Omega g_i \phi \, dx=-\int_\Omega u \frac{\partial ...
1
vote
1answer
62 views

About a metric over $C^{\infty}(\Omega)$

I need some help with this exercise: let $\Omega$ be an open subset of $\mathbb{R}^n$. We consider: $K_m=\lbrace{x\in\Omega, d(x,\mathbb{R}^n-\Omega)\geq\frac{1}{m},|x|\leq m}\rbrace$ If $\Phi\in ...
4
votes
1answer
160 views

Order of distribution

Let $T$ be Schwartz distribution. Assume that the following inequality holds $T(\phi) \leq \textrm{const} ~\| \tilde{\phi}\|_1$ for any $\phi \in S(\mathbb{R})$ ($\tilde{\phi}=\mathcal{F}(\phi)$ is ...
0
votes
0answers
31 views

On the evaluation of a distribution

In $\mathbb{R}^2\setminus\{(0,0)\}$, let $\theta(x,y)$ denote the branch of polar angle satisfying $-\pi<\theta(x,y)\leq \pi$. Since $\theta \in L^1_{loc}(\mathbb{R}^2)$, it can be regarded as a ...
2
votes
0answers
84 views

What is the set of all functions which can be used as a 'convergence factor' for a Fourier Transform?

At times, I am required to take the Fourier Transform of some function that does not decay quickly enough for the Fourier Transform to converge in the usual sense. For example, $$ ...
3
votes
0answers
85 views

Variation of Partition of Unity

We know as "Partition of unity" that follow: Let $X\subseteq \mathbb{R}^n$ be an open set, and let $K$ be a compact subset of $X$. Let $X_i$, $i=1,\ldots, m$, be open subsets of $X$ whose union ...