All Questions
5,630 questions
4
votes
1
answer
216
views
Chances for a cosine polynomial to be positive at a point
Let $k_1,\ldots,k_n$ be distinct integers. Let $s_n(t)=\cos (k_1t)+\cdots+\cos (k_nt)$ be a trigonometric sum. Consider any interval $I\subset [-\pi,\pi)$ of length $\delta=\delta(n)$. Let $\,U$ be a ...
- 2,288
3
votes
1
answer
216
views
Quantitative stability: Hausdorff distance between subdifferentials
Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...
- 81
1
vote
1
answer
242
views
Can (how) one distinguish germs of continuous functions by a countable set of params?
Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...
- 24.9k
3
votes
1
answer
383
views
"Nice" functions on infinite-dimensional space of germs of continuous functions at a point
Consider set of all germs of continuous functions at some point.
Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...
- 24.9k
-2
votes
1
answer
212
views
A calculus question [closed]
Fix $q>1$. Define the function
$$
f_q(c):=\int_e^\infty \frac{e^{-c r^2}r}{\log(r)^q}d r.
$$
The problem is whether the following is true,
$$
\lim_{c\rightarrow 0} c \log(1/c)^q f_q(c) = C \in ...
- 1,649
0
votes
2
answers
118
views
Inner Product of Given Sum Positive Sequence
Let $$A = \Big\{(a_1,a_2,\dots)\ \Big|\ a_i\ge 0, \sum_{i=1}^\infty a_i=1\Big\},$$ $$v(x)=\sup\left(\bigg\{\sum_{i=1}^\infty a_ib_i\ \bigg|\ (a_i)_{i=1}^\infty,\, (b_i)_{i=1}^\infty \in A,\,\sup\...
- 2,239
1
vote
0
answers
139
views
Can we define log-convex operators?
Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$
$$f(\alpha x+(1-\alpha)y)\leq [...
- 55
-1
votes
1
answer
148
views
Analytic extension of the exterior Newtonian potential into the domain
I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain.
Definition of Newtonian ...
0
votes
0
answers
182
views
Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $
Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j} \stackrel{\text{df}}{=} \left[ \frac{j}{2^{...
- 1
31
votes
1
answer
3k
views
What did Rolle prove when he proved Rolle's theorem?
Rolle published what we today call Rolle's theorem about 150 years before the arithmetization of the reals. Unfortunately this proof seems to have been buried in a long book [Rolle 1691] that I can't ...
user21349
1
vote
1
answer
164
views
Estimates on evolution operator
Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert f\Vert_{...
- 13
3
votes
1
answer
640
views
Relationship between LlogL and Hardy spaces
I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in L^1\,s.t.\,\...
- 843
7
votes
3
answers
393
views
Non-smooth function with all differences of translates smooth?
Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function
$$
g_t : x \mapsto f(x) - f(x-t)
$$
is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...
- 853
21
votes
1
answer
564
views
Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series
Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm Sym}(\...
- 19.6k
1
vote
1
answer
126
views
Evaluation of the multiple integral [closed]
Would you give me any suggestions or comments on evaluating the following $n$-dimensional
integral? $$ \int_{[0,t]^n} h(x) dx $$
where
$ x=(x_1 ,x_2 , \cdots, x_n ), h(x)= \prod_{k=1}^n min( \bar{...
- 245
0
votes
1
answer
128
views
Most natural smooth interpolation of 1,4=2^2,3^27,4^4^4^4, [closed]
Is there a functional equation for extending this to a smooth real function?
1
vote
1
answer
56
views
Can we implicitly fit a system of linear ODEs by reduced information?
Assume we are given several initial vectors $x^{(1)},\ldots,x^{(r)} \in \mathbb{R}^n$, where the dimension $n$ is in the range of 50 to 100, and the number of initial vectors $r$ is in the range of ...
- 749
0
votes
1
answer
164
views
Extending derivations to the superposition closure
Let $X$ be a set and $\mathcal{F}\subseteq {\mathbb{R}^X}$ an arbitrary family of functions.
The superposition closure of $\mathcal{F}$ is defined as
$$
\overline{\mathcal{F}}=\{ H\circ(f_1\times\...
- 2,527
1
vote
0
answers
190
views
An integration limit
Given $z\geq 0$, denote
$$A_m(z) = \{x\in \mathbf R^{m-1}\, :\, \min_{1\leq i\leq m-1} x_i > z\},$$
and
$$F_m(z) = \int_{A_m(z)} (1+|x|^2)^{1-m} dx.$$
Does the following limit
$$\lim\limits_{m\to\...
- 379
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
5
votes
1
answer
327
views
Convergence in energy of bounded (semi)subharmonic functions
Consider a sequence $(f_n)$ of functions in the flat torus $T^d$ converging Lebesgue-a.e. to a limit function $f$.
Assume that:
1) $|f_n|(x)\leq 1$ for every $n,x$
2) $\Delta f_n\geq -1$ in the ...
- 660
4
votes
0
answers
219
views
Is every supersmooth function a local polynomial?
This question is a follow up question to this question that I recently asked.
A $C^{\infty}$ function $f:(c,d)\rightarrow\mathbb{R}$ shall be called a local polynomial if whenever $f:(c,d)\rightarrow\...
3
votes
0
answers
290
views
Does there exist a supersmooth non-polynomial function?
Let's call a $C^{\infty}$-function $f:\mathbb{R}\rightarrow\mathbb{R}$ Lebesgue supersmooth if whenever $a_{n}\in\mathbb{R}$ for all $n$, then $\lim_{n\rightarrow\infty}a_{n}f^{(n)}(x)\rightarrow 0$ ...
2
votes
2
answers
144
views
First order pde with characteristics [closed]
Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...
- 21
0
votes
0
answers
153
views
extension of function in an abstract metric space
my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
- 1,835
2
votes
1
answer
128
views
Characterization of a subset of [0,1] $III$
I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to $...
- 1,835
-1
votes
1
answer
222
views
Does the divergence of the sum of reciprocals of a set of integers imply this density statement about the set?
Suppose $A \subseteq \mathbb{N}$ is such that $\displaystyle{\sum_{n \in A} n^{-1}} = \infty$. Suppose $B \subseteq \mathbb{N}$ is infinite.
Is there a set $X \subseteq [1,\infty)$ and a increasing ...
- 11
3
votes
1
answer
166
views
Does directional limits along any given direction, always exist for a function of bounded variation?
If a function $f:\mathbb{R}^N\to\mathbb{R}$ is of bounded variation (in modern sense or in Tonelli sense or according to any of the existing definitions), then can we say that, given any point $x\in \...
- 698
3
votes
0
answers
295
views
Density of function spaces
Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...
- 83
6
votes
3
answers
2k
views
Generalized Hardy-Littlewood-Sobolev Inequality
The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb R^n),\...
- 16.2k
2
votes
1
answer
247
views
is $x_{n}\ll \overline{x}_{n}^{2}$?
This question is a cross-post from MSE, cause I didn't get any answer there. I hope it is well suited for MO:
Let $(x_{n})_{n\ge 1}$ be an increasing sequence of positive integers and $\displaystyle{\...
- 6,984
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
- 101
3
votes
1
answer
250
views
Characterization of a subset of [0,1] $II$
My question follows the previous one
Characterization of a subset of $[0,1]$
But I don't know whether it is correct to ask again with a new title.
Thanks a lot for pointing the mistake and I ...
- 1,835
2
votes
2
answers
953
views
Differentiability of Nemytskii operator on Sobolev space
I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
- 201
1
vote
1
answer
192
views
Characterization of a subset of $[0,1]$
Let $T\subseteq[0,1]$ be a subset containing $1$. Now we know that $T$ satisfies the following property:
For every $t\in [0,1)$, if there exists a decreasing sequence $\{t_n\}_{n\ge 1}\subset T$ such ...
- 1,835
0
votes
1
answer
195
views
Existence of bounded $n-$th derivative of the solution of differential equation
This question is the copy from mat.stackexchange.com here. I requestioned here due to the very limited responses there.
Let $\phi:\mathbb{R}\mapsto\mathbb{R}$ be the standard normal density, $$\phi(x)...
- 133
5
votes
0
answers
310
views
Reference for Hodge decomposition
Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
- 562
4
votes
1
answer
1k
views
For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?
I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
- 1,649
2
votes
1
answer
130
views
A function with one partial derivative Hölder continuous is Hölder continuous?
I'm having trouble finding a function of two variables, say $u(t,x)$, such that for some $\alpha\in ]0,1]$
1. $(t,x)\mapsto \partial_x^2 u(t,x)$ is $C^{0,\alpha}$;
2. $(t,x)\mapsto \partial_x u(t,x)...
- 31
0
votes
1
answer
321
views
Is the span of those vectors dense in $\ell_2$?
For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} \...
- 3,031
15
votes
1
answer
595
views
Solving a non linear equation
I've been trying to prove that the following equation has a unique solution in interval 0 < x < 1 :
$$ x = \Big(\frac{1 - (1-x^2)^K}{1 - (1-x)^K}\Big)^2 $$
Where K is a number (integer, if it ...
- 159
3
votes
1
answer
432
views
the existence of a real polynomial satisfying the following property
It is easy to verify that
$$ \frac{t}{2}\leq \frac{1}{4}+\frac{1}{4}t^2\leq \frac{t}{1-(1-t^2)^2}-\frac{t}{2}
\quad \quad 0<t\leq1$$
I want to ask if there exist a real polynomial $h(t)$ such ...
- 1,997
2
votes
2
answers
373
views
Question on the number of equilibria
Let $f: C \to C$ be a smooth function and $C$ be a compact set, subset of $\mathbb{R}^n$.
We assume that all the fixed points are hyperbolic. Is it true that the number of fixed points is finite or ...
user31317
2
votes
1
answer
81
views
Monotonicity of Trapezoid Approximations
Here's a numerical analysis question which may not be very important, especially in practice, but has been bugging me.
Suppose $f$ is a continuous function on an interval $[a,b]$. Let $T_n(f)$ be ...
- 2,049
4
votes
3
answers
711
views
Inequality of arithmetic, geometric and harmonic means
Let $a_1,\dots,a_n$ be positive numbers, does the following inequality holds?
$$\frac{a_1+a_2+\cdots+a_n}{n}-\sqrt[n]{a_1a_2\cdots a_n}\geq\sqrt[n]{a_1a_2\cdots a_n}-\frac{n}{\frac{1}{a_1}+\frac{1}{...
- 287
2
votes
1
answer
3k
views
Inequality for the tail of normal distribution function
Let $ Ф(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{x} e^{-t^2/2} \, dt $ be the cumulative distribution function of the standard normal distribution.
Numerical calculations suggest the following ...
- 61
0
votes
2
answers
348
views
Can a monotone exponentially decreasing function be uniformely approximated bt Gaussians?
This question originates an engineering application.
There is a certain process that is presumed to be a sequence of diffusions and is usually modelled as a sum of Gaussians:
$$\Sigma_n w_ne^{-\...
- 2,205
2
votes
1
answer
840
views
Integration of gaussian times absolute value of cosine
Is there a way to compute/estimate the following integral?
$\int_0^\infty e^{-(x/c)^2}\left|\cos{x}\right|dx$
where $c$ is a real constant. I would like to know if it is of order $e^{-c^2/4}$ like the ...
- 23
0
votes
1
answer
101
views
Extending point-wise bound to uniform bound
Suppose $f(t,x)\in \mathcal{C}^0([0,1]\times \mathbb{R}^n)$. Further suppose that for each $t$
$$ C(t):= \sup_{x\in\mathbb{R}^n} |f(t,x)|<\infty \, .$$
Does it follow that $f$ is bounded?
Note ...
- 317
3
votes
1
answer
153
views
Separability of $R_+\times\mathcal{C}(R_+)$
Let $\mathcal{C}(R_+)$ be the space of continuous functions $f$ defined on $[0,+\infty)$ with $f(0)=0$. Denote by $\Omega$ the product of $R_+$ and $\mathcal{C}(R_+)$. Now endow $\Omega$ with the ...
- 1,835