Harmonic analysis is the generalisation of Fourier analysis. Use this tag for analysis on locally compact groups (e.g. Pontryagin duality), eigenvalues of the Laplacian on compact manifolds or graphs, and the abstract study of Fourier transform on Euclidean spaces (singular integrals, ...

learn more… | top users | synonyms

1
vote
1answer
68 views

Uniqueness for second order PDE $-\Delta u = c(u)$

I'm trying to solve the following problem: Let $\Omega$ be an open set in $\mathbb R^n$ and consider the equation \begin{cases} -\Delta u = c(u) & \text{ on } \Omega \\ u = 0 & \text{ on } ...
1
vote
1answer
30 views

Harmonic inside with zero average

Assume $\Omega\in\mathbb{C}$ is a domain with nice enough boundary,say smooth boundary. What can be said about $f\in C(\bar\Omega)$, harmonic in $\Omega$ and $\int_{\partial\Omega}f(z)|dz|=0$, where ...
1
vote
0answers
23 views

Absolute value operation in frequency domain

Let $f\in L^2(\mathbb{R}^d)$ be a real, positive function and $h\in L^2(\mathbb{R}^d)$ a complex function with compact support in frequency domain and $0\notin \text{supp }\hat{h}$. I am looking for ...
0
votes
1answer
45 views

A Curious sum of sines and cosines with angles in arithmetic progression

I am stuck with the following problem: \begin{align} \max_{\theta\in\mathbb{R}}\sum_{i=1}^{N}(a_i\sin(i\theta)+b_i\cos(i\theta)), \end{align} where for $i(1\leq i\leq N$)$, a_i$ and $b_i$ are real ...
3
votes
1answer
83 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
0
votes
1answer
269 views

How to use Parseval' identity( Plancherel)? [duplicate]

(May be this is very basic question for MO) Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put $$F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt \ (n=1,2,...)$$ Fix ...
0
votes
1answer
143 views

How to use Parseval' s( Plancherel' s) identity?

Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put, $F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt, \ (n=1,2,...).$ Fix $\alpha \in (0, \infty)$ and we define $H_{n}(x)$ ...
1
vote
1answer
31 views

$L^{\infty}(G)$ as a Banach $L^{1}(G)$-bimodule. (Check my logic please!)

Background: Given a Banach algebra $A$, we can turn $A^{*}$, the Banach space dual of $A$, into a Banach $A$-bimodule via the following module actions: For $x\in A, f\in A^{*}$, $x.f:y\mapsto f(yx)$ ...
1
vote
0answers
391 views

Proof of strong maximum principle for harmonic functions

Let $u\in\mathscr C^2(U)\cap\mathscr C(\bar U)$ be harmonic in the non-empty open and connected set $U\subset\mathbb R^n$. If there exists a Point $x_0\in U$, so that $u$ has a local Maximum at $x_0$, ...
1
vote
0answers
40 views

How to choose $\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha)$; so $\lambda ^{-1}\in L^{1}(\mathbb R)$?

We define, $$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$ where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...
2
votes
0answers
57 views

Dual Lorentz characterization of $L^q$

I am trying to do Exercise A.4 of Terence Tao's book Nonlinear dispersive equations: local and global analysis. The exercise is on p.342 in Appendix A. The problem statement is: Let $f\in ...
3
votes
1answer
81 views

Fourier transform of a a function in the space

Which is the Fourier transform (in the sense of distributions) of the function $f(x)=x/\|x\|^n $, where $x$ belongs to the Euclidean space $ R^n$?
2
votes
1answer
432 views

Laplace operator and Fourier transform

Let $f$ be a function with compact support in $D\subset \mathbf{R}^2$. Is is known that $$-\Delta f=F^{-1}|x|^2 F f,$$ where $F$ is the Fourier transform. Which is the $n-$dimensional analogous ...
5
votes
4answers
1k views

Proof of Riemann-Lebesgue lemma

I read a book, and this mention to the following lemma of Rieman-Lebesgue type. Lemma. Let $-\infty<a<b<\infty$ and $f(x,y):[a,b]^2\to\mathbb R$ be an integrable and nonnegative function. ...
2
votes
1answer
53 views

How to apply the method of stationary phase here?

Consider the following oscillating integral $$ I(\xi;t) = \int\limits_{\mathbb R}\int\limits_{\mathbb R^n} e^{it(\xi y - \theta f(y))}a(y) \, dy \, d\theta, \quad \xi \in \mathbb R^n \setminus 0, ...
6
votes
1answer
58 views

How to determine measure from the integral equation?

Let $\{c_{n}\}_{n\in \mathbb Z}\subset \mathbb C$ and $\sum_{n\in \mathbb Z} |c_{n}| < \infty$ (that is, the series $\sum c_{n}$ is absolutely converges); we define $F:\mathbb R \to \mathbb C$ ...
0
votes
0answers
15 views

Fast transpose of undecimated wavelets

I am using undecimated Daubechies wavelets and I need to compute the forward and adjoint of the wavelets several times. I am using the Rice Wavelet Matlab toolbox ...
1
vote
0answers
38 views

When it is possible to integrate an oscillatory integral?

Let $\phi(x,t;\theta) = \theta f(x,t)$, $\theta \in \mathbb R$, $x \in \Omega \subset \mathbb R^k$ ($\Omega$ is a domain), $t \in (0,+\infty)$, be a phase function and define an oscillatory integral ...
0
votes
1answer
75 views

Convention in Riesz representation theorem vs. tempered distribution theory

We are working over the complex field here. Sometimes analysis textbooks say that every continuous linear functional on $L^p$ is integration against some $f \in L^{p'}$ for $p\in (1, \infty)$, rather ...
1
vote
1answer
59 views

Sobolev spaces vs. Hardy Spaces

I have seen sobolev spaces (the ones with the p norms of the derivatives of a multivariable function) and Hardy spaces (the objects investigated in harmonic analysis when one asks about tangential and ...
0
votes
1answer
74 views

Poisson Integral of a Lipschitz continuous function

I am reading a paper that makes reference to the following fact: Suppose $f:\mathbb{R}\rightarrow\mathbb{R}$ is Lipschitz continuous of some positive order $\alpha$. Let $H(x,y)$ be the extension of ...
2
votes
0answers
58 views

How to prove $\widehat{(fg)}(n) = \hat{f} (n) \ast \hat{g} (n); (n \in \mathbb Z)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
5
votes
1answer
65 views

An $L^1$ function whose Fourier series converges but not to itself

Do we have an $L^1$ function whose Fourier series converges almost everywhere but not to itself?
0
votes
0answers
20 views

How to factorize exponential as a convolution of finite number of functions( series)?

We choose a points $x_{1},..., x_{n}$ in $\mathbb Z$ (not 0), such that $$x_{k+1}\not = x_{1}+x_{2}+...+x_{k} \ \ (k=1,2,...,n-1).$$ Let $\delta_{x}$ denote the measure of total mass $1$, ...
1
vote
0answers
52 views

How to interpret Fourier-Stieltjes transform on $\mathbb T$ (one dimesional torus)?

Let $\mu$ be a regular Borel measure on $\mathbb Z$ and we put, $$\|\mu\|:= |\mu| (\mathbb Z)= \text {total variation of} \ \mu . $$ and define $$M(\mathbb Z):= \{\mu: P(\mathbb Z)\to \mathbb C : ...
1
vote
1answer
35 views

Does there exists $f\in A(\mathbb T)$ such that $||f||=r$ and $||\mathrm{e}^{if}||= \mathrm{e}^{r}$?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t)\, \mathrm{e}^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb ...
0
votes
1answer
61 views

Solving the equation $\int G(t) dt =\frac{\sin x}{x}$

I have to solve the equation $$\int_{\mathbb R} \frac{f(t)}{1+(x-t)^2} dt =\frac{\sin x}{x}.$$ I tried change of variables to make the $\frac{1}{1+(x-t)^2}$ part resemble $e^{h(x)}$ so I can use the ...
2
votes
1answer
68 views

Show that two series are equal

In my harmonic analysis class I have to prove that for all $a>0$ the following equality holds: $$\sum_{n\in \mathbb{Z}}e^{-n^2\pi a}=\frac{1}{\sqrt{a}}\sum_{k\in \mathbb{Z}}e^{-k^2 \pi / a}.$$ I'd ...
0
votes
1answer
42 views

How to inter change of norm and limit in the Banach algebra?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb T):= \{f\in ...
0
votes
1answer
37 views

Is the p-adic Schwartz function uniform continuous?

In p-adic case, Schwart function is the function which has compact support and locally constant. But can we say its uniform continuity from this? I think it would not be true, but I am not certain ...
1
vote
0answers
65 views

construction of a special series of functions

Here is the problem: Let $A$ be the set of positive integers greater than 1. For each $L\in A$, we want to construct a smooth function $f_L$ with compact support such that ...
1
vote
0answers
54 views

integrability of Hilbert transform of a function [duplicate]

The problem is : Let $\varphi \in \mathcal S(\mathbb R)$ (Schwartz space) with $\int \varphi \ dx = 0$. Then the Hilbert transform of $\varphi$ belongs to $L^1(\mathbb R)$. I believe this helps ...
0
votes
0answers
70 views

about the classical Hardy Littlewood Sobolev inequality

The Hardy - Littlewood - Sobolev inequality says : Let $0< \alpha < N$ , $1 \leq p,q < \infty$ with $\frac{1}{q} = \frac{1}{p} - \frac{\alpha}{N}$, Consider $I_{\alpha} f (x) = c_{\alpha , ...
0
votes
1answer
76 views

Problem in harmonic analysis

suppose $p$ be a fixed psitive real number and $f$ is an entire function with $$\lvert f(0) \rvert^p=\int_\mathbb{C}\ \lvert f(z)\exp(-\alpha\lvert z \rvert ^2) \rvert^p dA(z) $$ where $\alpha ...
1
vote
1answer
189 views

Are the two definitions of the complementary Young function equivalent?

The description of the problem: For a Young function I would refer the reader to the book "Function spaces" by Pick Luboš, Kufner Alois, John Oldrich and Fucík Svatopluk, and published by de Gruyter. ...
1
vote
1answer
78 views

The dual of L^1(G) for a locally compact group G

I might be missing something, but most literature on topological groups and harmonic analysis that I've encountered mention that $L^\infty(G)$ can be naturally identified with the dual of $L^1(G)$ by ...
1
vote
0answers
35 views

Why the space of Fourier-Stieltjes transforms on a compact groups is same as the space of FT on compact groups?

Let $G$ be a locally compact group and we put $L^{1}(G)= \ \text {The space of all complex functions which are integrable with respect to the Haar measure of } \ G.$ Let $\Gamma$ is the dual group ...
0
votes
0answers
22 views

Does there exists $f\in L^{1}(\mathbb R)\cap FL^{1}(\mathbb R)$(=Fourier algebra) but $|f|\not \in A(\mathbb R)$?

For $f\in L^{1}(\mathbb R)$; We define the Fourier transform of $f$ as follows: $$\hat{f}(\xi)= \int_{\mathbb R}f(x) e^{-2\pi i \xi x}dx; \ \text {for} \ \xi \in \mathbb R.$$ Consider a Fourier ...
2
votes
1answer
71 views

Can one visualise the dual groups to Cantor groups?

My question is very simple, and, probably an answer can be found in any harmonic analysis textbook, but it seems I have failed that task. It occurred to me that I don't understand the structure of the ...
1
vote
1answer
45 views

Interesting equation in L^1

Consider $L^{1}(T) = \{ f : R \rightarrow C \text{ with period 1 and } \int_{0}^{1} |f (x)| \ dx < \infty\}$. For $f,g \in L^{1}(T)$ the convolution is given by $(f * g)(x)= ...
0
votes
2answers
39 views

Determine polynomials with $n$-variables

Here is a funny problem arise from harmonic analysis: Let $E$ be a measurable subset of $\mathbb R^n$ with $m(E)>0$, where $m$ is the usual Lebesgue measure on $\mathbb R^n$. In practice, $E$ ...
1
vote
1answer
36 views

Doubt in the definition of the Fourier transform in $L^{2}(\mathbb R^n)$

I am trying to understand the definition of the Fourier transform in $L^{2}(\mathbb R^n)$ . I am understand of this manner : Let $f \in L^{2}(\mathbb R^n)$ and $n$ a natural number. Define $f_n = f ...
1
vote
0answers
56 views

Fitting Sounds Waves with Sines/Cosines

I am trying to model sound waves with a series of sines and cosines but I am not sure what the best way to find the best deterministic sine/cosine combination that best fits the data. What are some ...
0
votes
0answers
18 views

Boundary of real part of functions in $H^p$ and Poisson nontangential maximal function

I have two questions when reading on $H^p$ spaces, many books do not give their proofs. First we reminde that $H^p(\mathbb R^2_+)$ consists of all functions $F$ which is analytic in the upper half ...
2
votes
0answers
61 views

Abstract Fourier Analysis

I am trying to prove that given a locally compact abelian (Hausdorf) topological group, the characters on it parameterize the multiplicative linear functionals on the banach * algebra $L^1(G, d\mu)$ ...
1
vote
0answers
59 views

Fourier- Lebesgue space and Fourier transform

Let $a, b \in \mathbb R$ such that $ab> 1$ ; put $$L^{1}_{a}(\mathbb R)= \{ f:\mathbb R\to \mathbb C \ \text {measurable} : ||(1+|x|)^{a}f||_{L^{1}(\mathbb R)}< \infty \},$$ and ...
2
votes
1answer
128 views

Is Fourier transform of a $L^{1}$ integrable function is $L^{1}$ integrable?

Let $f:\mathbb R \to \mathbb R$ such that $$f(x)= \frac{\sin \pi x}{x (x^{2}-1)}$$ for $x\in \mathbb R - \{ 0, -1, 1 \}$ and $f(x):= \pi $ for $x=0$ and $f(x)=-\frac{\pi}{2}$ for $x= -1, 1$. Let ...
1
vote
1answer
48 views

Convolution of distribution and Poisson kernel

I know that for a general tempered distribution (see here) $f$ the convolution $f\star P_t$ is not meaningful. Where $P_t$ is the Poisson kernel (see here) which is given by ...
1
vote
2answers
66 views

How to estimate (compute) Fourier transform?

Let $f:\mathbb R \to \mathbb R$ such that $$f(x)= \frac{\sin \pi x}{x (x^{2}-1)}$$ for $x\in \mathbb R - \{ 0, -1, 1 \}$ and $f(x):= \pi $ for $x=0$ and $f(x)=-\frac{\pi}{2}$ for $x= -1, 1$. ...
5
votes
4answers
163 views

Compute $\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right )^2+\left (\frac{1}{n} \right )^2$

Compute the value of the following expression $$\left (1+\frac{1}{2}+\cdots+\frac{1}{n} \right )^2+\left ( \frac{1}{2}+\cdots + \frac{1}{n}\right )^2+\cdots+\left (\frac{1}{n-1}+\frac{1}{n} \right ...