All Questions
5,629 questions
1
vote
1
answer
102
views
Is there an example of a causally supported Schwartz function on $\mathbb{R}^4$ invariant under the Lorentz transform?
I am working on $\mathbb{R}^4$ with the sign convention $(1,-1,-1,-1)$.
I wonder if there is Schwartz function $f(x)$ on $\mathbb{R}^4$ such that the support satisfies the condition $0<x^2 < 4m^...
- 3,487
3
votes
0
answers
59
views
Generalisation of 'derivatives are Baire 1'
If $f:\mathbb{R}\rightarrow \mathbb{R}$ is differentiable, then its derivative $f'$ is Baire 1 (which essentially follows by the definition of derivative).
Do functions differentiable almost ...
- 4,359
8
votes
2
answers
479
views
Whitney extension theorem preserving monotonicity
This question is related to Monotone version of one-dimensional Whitney extension theorem.
Let $m$ be a positive integer or $m=\infty$.
Suppose that $E\subset\mathbb{R}$ is a closed set and $f:E\to\...
- 28k
6
votes
2
answers
513
views
Need a reference for a trigonometric inequality
In my old high school notebook (20 years ago), the following inequality appears with its proof:
$$1+\cos x + \frac{1}{2}\cos 2x + \cdots + \frac{1}{n}\cos nx \geq 0$$
for any real $x$ and positive ...
- 335
4
votes
1
answer
149
views
An algebraic inequality in three real variables
Is it true that
$$(v-u)^2+(w-u)^2+(w-v)^2 \\
+\left(\sqrt{\frac{1+u^2}{1+v^2}}
+\sqrt{\frac{1+v^2}{1+u^2}}\right) (w-u)(w-v) \\
-\left(\sqrt{\frac{1+u^2}{1+w^2}}+\sqrt{\frac{1+w^2}{1+u^2}}\right) (w-...
- 128k
1
vote
2
answers
307
views
Closed formula for this sum $\sum^\infty_{n=0}\frac{1}{n^4+n^2+1}.$ [closed]
How to calculate this sum $$\sum^\infty_{n=0}\frac{1}{n^4+n^2+1}.$$
Thank you in advance
- 531
1
vote
0
answers
179
views
Getting rid of complex zeros of function with zeros the primes?
From our Note: simple real function with zeros greater than one the primes
simple real function with zeros greater than one the primes:
$j_1(x)=(\sin(\pi x))^2+(\sin(\pi \frac{\Gamma(x)+1}{x}))^2$.
...
- 25.4k
11
votes
1
answer
452
views
Does every smooth map of rank at most d factor through a d-manifold?
Suppose $d≥0$, $m≥0$, $n≥0$, and $\def\R{{\bf R}} f\colon \R^m→\R^n$ is a smooth map
whose rank at any point of $\R^m$ is at most $d$.
Here and below, smooth means infinitely differentiable.
Can we ...
- 37.8k
1
vote
1
answer
210
views
On a property of complex exponentials
Does there exist a simple smooth closed curve $\gamma:S^1\to \mathbb C$ such that
$$ \int_{0}^{2\pi} e^{\gamma(e^{it})} \, |\gamma'(e^{it} )|\,dt =0?$$
- 4,115
7
votes
3
answers
2k
views
A question on fractional derivatives
I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...
user168611
1
vote
0
answers
69
views
Hilbert like transform on the circle
Suppose that $u $ is a smooth function real valued function defined on an open neighborhood of the unit disc $ \mathbb{D} $, which satisfies a second order elliptic partial differential equation;
\...
0
votes
0
answers
175
views
Does l2 projection of sequences preserve l1 norm convergence?
Let $\ell^2$ denote the set of square summable sequences with inner product $\langle x,y\rangle=\sum_{i=1}^{n}x(i)y(i)$ and $\ell^2$ norm $\|x\|_2=\sqrt{\langle x,x\rangle}$. Let $\|x\|_1=\sum_{i=1}^{\...
- 45
8
votes
1
answer
552
views
Dirichlet-to-Neumann map on Lipschitz domains
Let $\Omega$ be a bounded domain with a Lipschitz boundary. Consider the Dirichlet-to-Neumann map $\Lambda:H^{\frac{1}{2}}(\partial \Omega)\to H^{-\frac{1}{2}}(\partial \Omega)$ defined via
$$ \langle ...
- 4,115
1
vote
0
answers
66
views
Parameter estimation of a Taylor expansion
Let $a,b$ two real numbers, $\theta$ a real parameter and suppose that you have an analytic function of the form:
$$
f_\theta(x)\triangleq \sum_{k\in\mathbb{N}}a_k(\theta)x^k \quad\forall x\in[a,b],
$$...
- 393
4
votes
1
answer
155
views
Could the range of $\sum_{k\geq 1}r^{n(k)}$ for $r\in \big(\frac{1}{2}, 1\big)$ be continuous?
Let $\mathcal{F}_N$ be the set of all strictly increasing sequences of positive integers. For every two $F_1, F_2\in\mathcal{F}_N$, if we use $\delta(F_1,F_2)$ to denote the first $n$-th coordinate ...
- 307
-3
votes
1
answer
350
views
Can we find a closed form formula for this function?
I'm interested in this function
$$
h(m,n) = \operatorname{sgn}\Bigl(\lim_{w \to \infty}{\sum_{x_1=1}^{w}\dotsi\sum_{x_u=1}^{w}\dfrac{1}{1 + wp^2(m,n,x_1,\dotsc,x_u)}}\Bigr)
$$
where $p$ is a ...
- 1
1
vote
1
answer
184
views
Quantitative version of Lebesgue points theorem
Let $A \subset [0,1]^n$ with $A$ measurable and such that $\mathcal{L}^n (A)= \delta >0$, and consider a partition of $[0,1]^n$ in $\epsilon$-cubes (i.e. cubes of side $\epsilon)$. For $\epsilon \...
- 749
0
votes
1
answer
139
views
What kind of functions can be represented as infinite linear combinations of exponential functions?
Let $f(x)$ be a real-valued function defined in $(0, \infty)$. I am curious what kind of $f(x)$ has the following representations:
$$
f(x) = \sum_{j=0}^\infty a_j e^{-jx}, \quad \forall x \in (0, \...
- 81
16
votes
2
answers
2k
views
An analogue of the exponential function by replacing infinite series with improper integral
For every positive real number $x$ we define $$E(x)= \int_0^{\infty} x^t/t!\,\mathrm dt$$
where $t!=\Gamma(t+1)$. This is motivated by classical exponential function.
Is this function well defined (...
- 366
1
vote
0
answers
166
views
Question about stationary phase with Hessian close to $0$
Let $\phi$ be a smooth real function in one variable and say $w$ is a smooth function with compact support say $[- 1, 1]$. Let me define
$$
I_{\lambda} = \int_{\mathbb{R}} w(t) e^{i \lambda \phi(t)} ...
- 3,625
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 1,199
-1
votes
1
answer
213
views
Building a smooth function from a rapidly decreasing sequence
Is it possible to build a 1-priodic smooth function from a rapidly decreasing sequence such that the sequence be the Fourier coefficients of the function?
More precisely:
Let $\lbrace c_k\rbrace _{k \...
- 581
28
votes
4
answers
2k
views
For a continuous function $f:\mathbb{R}^{+}\to\mathbb{R}^{+}$ does $(f(x)-f(y)) (f(\frac{x+y}{2}) - f(\sqrt{xy}))=0$ imply that $f$ is constant?
Suppose that $f: \mathbb{R}^+ \to \mathbb{R}^+$ is a continuous function such that for all positive real numbers $x,y$ the following is true :
$$(f(x)-f(y)) \left ( f \left ( \frac{x+y}{2} \right ) - ...
- 850
2
votes
0
answers
63
views
Evaluation of a certain area
I asked a version of this question on Math Stack Exchange 6 days ago, but without any responses: The area of a certain region
I am interested in evaluating the area of the region defined by
$$A_{L_1, ...
- 26.9k
23
votes
3
answers
4k
views
Continuous functions taking uncountably many values countably often
Let $f$ be a continuous function defined on the closed interval $[0,1]$. Clearly $f$ is bounded and attains its bounds.
Then my question is how often can $f$ take a value in its range countably many ...
- 4,862
0
votes
1
answer
230
views
Can we further restrict the space of test functions to $C_c^\infty (X)$ in weak convergence?
Let
$X := \mathbb R^n$,
$C_b(X)$ the space of all real-valued bounded continuous,
$C_c(X)$ the space of all real-valued continuous functions with compact supports, and
$C_c^\infty(X)$ the space of ...
- 657
2
votes
1
answer
174
views
Description of $\mathcal{S}^{2}_0(\mathbb{R})$ and certain class of functions inside it
I am currently reading volume 2 of "Generalized Functions" by Gelfand and $\mathcal{S}^{2}_0(\mathbb{R})$ is defined to be the collection of $C^\infty$ functions $f$ on $\mathbb{R}$ such ...
- 3,487
5
votes
1
answer
410
views
Is there always a real $x$ such that $\cos n_1 x + \cos n_2 x + \cos n_3 x < -2$?
Problem: Given three positive integers $0 < n_1 < n_2 < n_3$. Is there always a real number $x$ such that
$$\cos n_1 x + \cos n_2 x + \cos n_3 x < -2?$$
- 1,053
0
votes
1
answer
72
views
Orthogonality to a one parameter family of eigenfunctions
Let $\rho>0$ be a smooth realvalued function such that $\rho=1$ outside the unit interval $(-1,1)$. For each $t>0$, let us denote by $\{\lambda_n(t)\}_{n=1}^{\infty}$ and $\{\phi_n(t;x)\}_{n=1}^{...
- 4,115
6
votes
1
answer
314
views
Convergence of integral averages in $L^1$
Let $f \in L^1 (\mathbb R)$. Suppose $g_n \in L^1 (\mathbb R)$ are a sequence of positive functions.
Define, for each $n$, the function $f_n$ by
$$f_n (x) := \frac{1}{2g_n (x)} \int_{x - g_n (x)}^{x + ...
- 6,323
3
votes
1
answer
245
views
Dividing a spherical cap into $n$ equal wedges
This is a follow-up of the question Dividing a spherical cap into three equal wedges where the $n=3$ case was shown.
Motivation: Optimal ways to cut an orange.
In this problem, we have a spherical ...
- 1,459
-1
votes
1
answer
354
views
The grail of functional analysis?
Does $g\in C([0,1],[0,1])=A$ exist such that $\{g^n ,n\in\mathbb N\}$ is dense in $A$ provided with the uniform norm?
with $g^2=g \circ g $
If we can find $g$ then $F$ a closed of $A$, $id \in F$ ...
- 4,074
3
votes
0
answers
65
views
Representation of Baire 1 functions
Upper semi-continuous functions on the reals are Baire 1, which is readily observed by considering
$$ f_{n}(x):= \sup_{y\in [0,1]}(f(y)- n |x-y| ) \qquad (A).$$
Indeed $f_n$ as in (A) is continuous ...
- 4,359
3
votes
1
answer
139
views
What is the optimal asymptotic behavior of this integral over the sphere?
Let $k_{1},\dots, k_{d}>1$ be integers and consider the integral
$$J_{\lambda }=\int_{\mathbb{S}^{d-1}}e^{-\lambda \left(x^{2k_{1}}_{1}+\dots+ x^{2k_{d}}_{d}\right)} d\sigma(x)$$
where $d\sigma$ ...
- 852
3
votes
1
answer
133
views
Is the smallest root of this quartic always the closest point on the Hyperbola? [closed]
Let $a>b>0$.
Suppose we want to minimize
$$
f(x)=(x-a)^2+(1/x-b)^2,
$$
over $x>0$.
Equating $f'(x)=0$ leads to the quartic equation
$$
g(x)=x^4-ax^3+bx-1=0. \tag{1}
$$
Question:
Is the ...
- 6,741
1
vote
0
answers
64
views
Variation of the fractional derivatives
$\DeclareMathOperator\AC{AC}\DeclareMathOperator\Lip{Lip}$Suppose we have $f\in L^1(\mathbb{R})\cap \AC(\mathbb{R})\cap \Lip(\mathbb{R})$ and $f$ piecewise linear function, bounded and $|f|\leqslant \...
- 89
1
vote
0
answers
217
views
Inequality on matrix trace
Consider the following inequality of Lemma 1 arising in The law of large numbers for quantum stochastic filtering and control of many-particle systems :
$$\Big|tr(L\gamma LB) - \frac{1}{2}tr(B(L\gamma ...
- 1,399
0
votes
0
answers
342
views
Main ideas behind the proof of the Carleson theorem
I tried to read a few years ago the book "Pointwise Convergence of Fourier Series" (Springer, Juan Arias De Reyna) which is a detailed proof of the Carleson theorem, but I was lost after a ...
- 587
28
votes
4
answers
3k
views
Prove that $\left(\frac{x^n+1}{x^{n-1}+1}\right)^n+\left(\frac{x+1}{2}\right)^n\geq x^n+1$
Let $x>0$ and $n$ be a natural number. Prove that:
$$\left(\frac{x^n+1}{x^{n-1}+1}\right)^n+\left(\frac{x+1}{2}\right)^n\geq x^n+1.$$
This question is very similar to many contests problems, but ...
- 1,054
2
votes
0
answers
75
views
On Dirichlet eigenfunctions of a domain
Given any bounded domain $\Omega\subset \mathbb R^n$, $n\geq 2$, with a Lipschitz boundary, let $\{(\lambda_k,\phi_k)\}_{k\in \mathbb N}$ be the Dirichlet eigenvalues and eigenfunctions of $-\Delta$ ...
- 4,115
5
votes
2
answers
926
views
How to show this symmetric function inequality
Question: let $x_{i}>0$ $(i=1,2,\cdots,n)$, such that $x_{i}\neq x_{j},\forall i\neq j$, find all real numbers $p$ that satisfy the following inequality
$$\sum_{i=1}^{n}\dfrac{x^p_{i}}{\prod_{j\neq ...
- 4,280
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
0
votes
0
answers
48
views
On $[0,1]$ with the Lesbegue measure, is it possible to have $\lVert \cdot \rVert^{1/n}_p \leq \lVert \cdot \rVert_q$ for $p>q$ and $n$ large?
The question is as in the above.
In all literature, I only find that on $[0,1]$ with the Lebesgue measure, $\lVert \cdot \rVert_q \leq \lVert \cdot \rVert_p$ for $p>q$.
(I deleted the last question ...
- 3,487
2
votes
1
answer
141
views
Injectivity of two sided Laplace transform
Let $\mu,\nu$ be finite Borel measures on $\mathbb R$.
Assume that there is an open interval $(a,b)$ on which the Laplace transforms exist and coincide:
$$
\int_{-\infty}^\infty e^{-tx}\,d\mu(x) = \...
- 769
7
votes
1
answer
598
views
A lecture by Rudin
Is it available a written version of this lecture by Rudin on the relation between Fourier analysis and the birth of set theory?
https://youtu.be/hBcWRZMP6xs
If not Rudin himself, maybe someone else ...
- 4,459
22
votes
2
answers
850
views
Do equal integrals of $1/(1+x^a)$ imply equal measure?
Suppose $\mu$ and $\nu$ are two probability measures on $[0,1]$ with the property that $\int_{0}^{1} \frac{1}{1+x^a} ~d\mu(x) = \int_{0}^{1} \frac{1}{1+x^a} ~d\nu(x)$ holds for every exponent $a > ...
- 765
3
votes
1
answer
577
views
A constant ratio of integrals? Part II
This question is a follow up on my latest MO post which was addressed kindly by Iosif Pinelis. What is new here is that I need to correct the assumption by including a missing hypothesis. The context ...
- 43.2k
5
votes
2
answers
421
views
Inequality of two variables
Let $a$ and $b$ be positive numbers. Prove that:
$$\ln\frac{(a+1)^2}{4a}\ln\frac{(b+1)^2}{4b}\geq\ln^2\frac{(a+1)(b+1)}{2(a+b)}.$$
Since the inequality is not changed after replacing $a$ on $\frac{1}{...
- 1,054
1
vote
0
answers
60
views
Factoring a smooth map as a function to a linear map
I am searching for a reference to the following fact about smooth functions.
If $f \in C^k(\mathbb{R}^n, \mathbb{R}^m)$ such that $f(0) = 0$, then there exists $g \in C^{k - 1}(\mathbb{R}^n, \...
- 2,834
0
votes
0
answers
85
views
Lagrange's interpolating polynomial
Let $f:[a,b]\rightarrow R$ be a function that is not $C^{(n+1)}$ on $[a,b]$ but its $n$-th derivative is a Lipschitz function? How does the Lagrange's interpolating polynomial formula change? How does ...
- 1