All Questions
5,628 questions
5
votes
2
answers
273
views
Smooth convex extensibility of combination of two line segments
This is a refined version of my earlier question Convex extensibility of combination of two lines.
Is there a smooth function $f:[0,1]\times [0,1]\rightarrow\mathbb R$ such
that for all $x\in [0,...
CommunityBot
- 1
2
votes
5
answers
3k
views
Distance between two sets
Let $A, B$ be two convex and closed subsets of $\mathbb{R}^n$. We would like to the minimum distance between these two sets. i.e., we want to find a solution for the following problem.
$$ \min \{||x-y|...
CommunityBot
- 1
4
votes
1
answer
414
views
Convergence of the Double Integral of a Polynomial Reciprocal
Let $f \in \mathbb{R}[x,y]$ be a polynomial satisfying the following conditions:
(i) $f(\mathbb{R}^2) \subset [a,\infty)$ where $a>0$;
(ii) $f$ is non-degenerate, in the sense that there isn't a ...
- 156k
6
votes
1
answer
1k
views
Level sets of a Weierstrass nowhere-differentiable function
Can anyone describe level sets of a Weierstrass nowhere-differentiable function? For example, let $f(x) = \sum_{n=0}^\infty \frac{1}{2^n} \cos( 4^n \pi x)$. For some $c \in (-2,2)$, what is known ...
CommunityBot
- 1
3
votes
1
answer
1k
views
Integral inequality for convex function
Let $u(x)$ be a smooth function from $\mathbb{R}$ to $\mathbb{R}$. Suppose that for some real numbers $a,b$ with $a < b$ the following equality is true:
\begin{equation}
\frac{1}{b-a} \int_a^b u(...
- 32.5k
1
vote
2
answers
220
views
reference needed for sobolev type estimates
I'm reading a paper and the authors applied the following sobolev type estimates
$$
||(Dv)^{2}||_{H^{3k-2}(\Omega)}\leq C||v||_{H^{3k-1+\alpha}(\Omega)}^{2}
$$
for $\alpha>\frac{1}{4}$,
where $v$ ...
- 39.1k
3
votes
0
answers
170
views
Is there such a matrix in $SO(n)$?
Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and
$$
\frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = \frac{B_{ij}}{\sqrt{B_{ii}B_{jj}}},...
- 131
1
vote
1
answer
471
views
k-th largest root in common interlacing polynomials
In their proof of the celebrated Kadison-Singer conjecture, Marcus, Spielman and Srivastava exploited so-called interlacing families which are originally defined for their work on Ramanujan graphs. ...
- 26
0
votes
2
answers
179
views
Analyticity of Logarithmic Integrals
Assume $f\in L^2[0,1]$ and let $g(x)=\int_0^1f(y)\ln|x-y|dy$. Is it true that $g\in C^\infty(0,1)$? Is it true that $g$ is analytic in $(0,1)$? Can you refer me to a right reference to look up such ...
- 179
1
vote
0
answers
146
views
Boundary gradient estimate
Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...
CommunityBot
- 1
1
vote
1
answer
137
views
Find sufficient and necessary conditions on $f$ in which the level curve $f(x,y)=0$ implies only one case $x=a$ for all real $y$ [closed]
Let $f:ℝ²→ℝ$ be an arbitrary harmonic function. A level curve in two dimensions is a curve on which the value of a function $f(x,y)$ is a constant. My question is: Find sufficient and necessary ...
- 6,210
1
vote
0
answers
91
views
Tubular neighbourhood which is nowhere piecewise linear
I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...
CommunityBot
- 1
3
votes
1
answer
163
views
Counting extrema on a simplex
Let $p(x_{1},x_{2},\ldots,x_{n})=\sum_{i,j=1}^{n}{a_{ij}x_{i}x_{j}}$ be a homogenous multivariate polynomial of degree $2$.
I would like to know how many extrema $p$ has on the standard simplex
...
- 6,962
3
votes
1
answer
435
views
Is the countable intersection of residual sets in [0,1] with Hausdorff dimension 1 of full Hausdorff dimension?
Let $E_k\subset [0,1]$ be residual subsets (i.e. containing dense $G_\delta $ set) with $E_{k+1}\subset E_k$ and $\dim_HE_k=1, \forall k.$ My question is : $\dim_H\bigcap_k E_k=1?$ Thanks.
- 3,312
13
votes
1
answer
1k
views
Which functions are Wiener-integrable?
I'm looking for either a few precise mathematical statements about Wiener integrals, or a reference where I can find them.
Background
The Wiener integral is an analytic tool to define certain "...
CommunityBot
- 1
17
votes
2
answers
1k
views
Kolmogorov superposition for smooth functions
Kolmogorov superposition theorem states that a continuous function $f(x_1,\ldots,x_n)$ can be written as
$$f(x_1,\ldots,x_n)=\sum_{q=0}^{2n}\Phi_q\left(\sum_{p=1}^{n}\phi_{q,p}(x_p)\right)$$
for ...
CommunityBot
- 1
1
vote
0
answers
331
views
Relationship between weak Lp and strong Lq topologies for q<p
Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
- 203
3
votes
1
answer
171
views
Characterization of a set in $\mathbb{R}^d$
Let $X= (X_1,\dots, X_d)$ be a fixed vector of random variables on the space $(\Omega, \mathcal{F}, \mathbb{P})$. Consider the following set.
\begin{equation}\label{main12}
C= \{x\in \mathbb{R}^d ~|~ ...
- 24.8k
3
votes
0
answers
256
views
derivatives of composite function [closed]
There's a formula for the $n$th derivative of a composite function $f(g(x))$ - it's called Faa di Bruno's formula - but I'm not really interested in the formula but in the proof given in the book of ...
- 171
1
vote
0
answers
138
views
Bound for a certain integral expression
I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
- 41
18
votes
2
answers
630
views
Is the notion of fixed point property for topological spaces an absolute notion?
Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point.
Is the notion of FPP for topological spaces an absolute notion? More ...
- 32.2k
9
votes
1
answer
352
views
Can there be a measurable set that integrals have the same given value if their integral on $\mathbb{R}$ are the same?
We know for an integrable function $f$, if $\int_\mathbb{R} f=1$, then $\forall \lambda\in [0,1] $, there exists a measurable set $E$ that $\int_E f=\lambda$.
Now consider integrable functions $f$ ...
- 191
3
votes
1
answer
681
views
measure zero in R but not in R^2
I want to find some subset of R^2 which its intersection with every vertical line is measure zero if we see it as a subset of R and it is not measure zero in R^2?
3
votes
1
answer
369
views
Does there exist a function such that $\int_{\mathbb{R}_+^{\star} } t^nf(t)dt=0$? [closed]
Let $f\in C([a,b],\mathbb{R})$ such that $\displaystyle\int_{a}^{b} t^nf(t)dt=0$ for all integer n.
We know that $f\equiv 0$. It's call Hausdorff theorem.
This theorem is wrong on $\mathbb{R^+}$, a ...
CommunityBot
- 1
1
vote
3
answers
293
views
Lipschitz continuous maps from $\mathbb R^n$ to $\mathbb R^n$ that preserve Gaussian measure?
The only ones I can think of are linear maps like rotations and permutations. Is there a more general characterization?
- 334
4
votes
1
answer
1k
views
General version of Skorokhod representation of random variables
Let $F: \mathbb{R} \to [0,1]$ be cumulative distribution function (cdf). The standard way to build a random variable $\tau$ on $([0,1],\mathcal{B},\text{Leb})$ with $F$ as its cdf is using the ...
- 487
25
votes
2
answers
2k
views
Evaluation of an $n$-dimensional integral
I asked the same question on math.se but got no answer there. Since it pertains to my current research, I decided to ask here:
Let $n\in 2\mathbb{N}$ be an even number. I want to evaluate
$$I_n
:=
\...
CommunityBot
- 1
12
votes
1
answer
934
views
Real-rootedness, interlacing, root-bounds of a sequence of polynomials
Problem: the number $a(n,k)$ is defined by the following recurrence
\begin{equation}
a(n,k)=(k+1)(k+2)\, a(n-1, k)+\frac{(k+1)(k+2)(k+3)}{k} \,a(n-1, k-1),
\end{equation}
with $a(1,1)=1$ and $a(n,k)=0$...
- 459
7
votes
1
answer
397
views
Fourier expansion of Takagi-function (everywhere non differentiable function).
Let us consider Takagi-function defined by
$T(x) \colon\!= \sum_{n=0}^{\infty}s(2^nx)/2^n$,
where $s(x) \colon\!\!= \underset{n \in {\Bbb Z}}{\mathrm{min}} \,|x-n|$.
$T(x)$ has its period $1$, so ...
- 60.5k
2
votes
2
answers
4k
views
a limit of the laplace transform and its derivative
If $\phi(s)$ is the Laplace tranfrom of $f(t)$, then $\lim_{s\rightarrow \infty} s\phi(s) = f(0^+)$. and also $\lim_{\rightarrow \infty} s\phi'(s) = \lim_{t\rightarrow 0^+}tf(t)$ since $\phi'(s)$ is ...
- 188k
0
votes
0
answers
428
views
Given an even function how to obtain the most close odd function and vise versa?
Given an even function $f(x)$, how to obtain the most close to it continuous odd function $g(x)$?
By most close I mean that $\int_0^\infty |f(x)-g(x)| dx$ be the minimum possible and the difference $|...
- 10.1k
1
vote
2
answers
226
views
Smooth but non-analytic kernel functions
Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?
- 41
3
votes
1
answer
64
views
Complete classification of complexity classes / infinite approaching sequences
http://en.wikipedia.org/wiki/Time_complexity#Table_of_common_time_complexities
For complexity as seen in the above link, complexity classes can be log, polynomial, exp, or composition of any of these ...
- 24.8k
5
votes
1
answer
921
views
About generalized Minkowski inequality
For which functions $f:\mathbb{R}^+ \to \mathbb{R}^+$ does the inequality
$f^{-1}\left(\sum\limits_{k=1}^n f(x_k+y_k)\right) \leq f^{-1}\left(\sum\limits_{k=1}^n f(x_k)\right) + f^{-1}\left(\sum\...
- 28.6k
4
votes
0
answers
428
views
Inverse of matrix-valued function
Given $c>0$. Let $\gamma_c:{\cal M}_{k \times k}^+\mapsto {\cal M}_{k \times k}^+$ is a function defined by
\begin{equation}
\gamma_c(\Omega)=\frac1{\sqrt{(2\pi)^{k}|\Omega|}}\int_{\mathbb{R}^k}\{(-...
- 133
3
votes
1
answer
516
views
Is there a direct proof of the following real analysis fact?
I want to prove the following fact without using topological degree theory or related algebraic topology
Let $h:\overline{B}(0,1)\to \mathbb{R}^n$ be a continuous map such that $|h(x)-x|\leq \delta$ ...
- 60.5k
4
votes
2
answers
3k
views
Chain rule for fractional laplacian
Does anyone know a formula of chain rule for fractional laplacian?
say we take the fractional laplacian of order a on function $g(U(x))$ $x\in \mathbb{R}^2$, $U \in \mathbb{R}$, $g \colon \mathbb{R} \...
- 459
8
votes
3
answers
637
views
Method to compute fundamental solutions which are distributions
The Malgrange-Ehrenpreis theorem tells us that there is a fundamental solution for any linear differential operator of constants coefficients. The original proof was not constructive (it was based on ...
- 9,007
8
votes
3
answers
540
views
Real varieties with enough algebraic loops
Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$).
We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...
CommunityBot
- 1
1
vote
1
answer
487
views
New differintegral formula: how is it related to other differintegral formulas?
Lets define new differintegral formula as
$$\mathbb{D}^s_xf(x)= \sum_{m=0}^{\infty} \binom {s}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
or, equivalently,
$$\mathbb{D}^s_xf(x)= \lim_{t\to s} \...
- 32.5k
2
votes
2
answers
224
views
"Then obviously..." (a bound on strongly differential functions on an interval)
On the fourth page of their 1967 paper Local Behavior of Solutions of Quasilinear Parabolic Equations, Aaronson and Serrin comment: "Consider a strongly differentiable function $w$ of the real ...
- 2,494
3
votes
2
answers
188
views
Seeking a class of functions for which sums approximate integrals well
Is there a "natural" class of integrable functions $f: {\mathbb R} \rightarrow {\mathbb R}$ for which it is true (and, preferably, not too hard to prove!) that $\sup_{0 \leq a < h} |h S(a,h) - I|$ ...
- 10.3k
0
votes
1
answer
259
views
How to perturb a function to separate points
Consider two smooth functions $f,g\in C^\infty(\Omega)$ with $\partial \Omega$ smooth and $\Omega\subset \mathbb{R}^3$. Assume that $f=g$ on $\partial \Omega$.
For any given $\varepsilon>0$, how ...
- 42.8k
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
CommunityBot
- 1
3
votes
0
answers
176
views
Tauberian theorem wanted
At least, I think it might deserve to be called a Tauberian theorem, inasmuch as it would generalize the Tauberian theorem mentioned by Liviu Nicolaescu in his reply to my question Using a quadratic ...
CommunityBot
- 1
3
votes
1
answer
442
views
Error of midpoint method for functions that are not twice-differentiable
All of the bounds I've seen for the error of the midpoint method of integration are expressed in terms of the second derivative of the function. What bounds are available when the function is not ...
CommunityBot
- 1
2
votes
2
answers
518
views
Lower bounds on derivative around zero set of a positive smooth function
As part of a different problem, I came across the following simplified question, for which I cannot exhibit a proof nor a counterexample. Note that the assumptions of smoothness and strict positivity ...
- 83
1
vote
1
answer
163
views
Pohozaev result for equations with weights
I am interested in nonnegative solutions of
$-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$.
Or instead the equation $ -\Delta u + \...
- 2,494
2
votes
1
answer
578
views
When is the bound in Riesz-Thorin Interpolation Theorem attained?
Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem).
Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...
- 13k
4
votes
1
answer
670
views
A generalization of a theorem of Grothendieck
In this question the norm of $L^{P}[0,1]$ is denoted by $\parallel . \parallel _{p}$.
Let $p$ and $q$ be two arbitrary real numbers with $2<p<q$.
Assume that $S$ is a subvector space of ...
- 356