All Questions
5,628 questions
1
vote
0
answers
92
views
Perturbation in Besov space
$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
- 515
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
- 24.7k
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
9
votes
2
answers
791
views
Asymptotic difference between a function and its "binomial average"
(I posted this question on Math.SE a few weeks ago. I got a few comments, but nothing definite, and so I thought I would try MO.)
The origin of this question is the identity
$$\sum_{k=0}^n \binom{n}{...
- 3,283
1
vote
1
answer
1k
views
How to verify the weak convergence?
Given a finite measure on a compact, take $f_n\in L^1$ with norms $\leq 1$ and suppose that $\int f_n g$ tends to a limit for all continuous $g$. Is it true that then $\int f_n g$ converge for any $g\...
- 11
2
votes
0
answers
84
views
limit multiple integral
I want to know if $\lim_{T-> \infty}$ of this integral
$$ \frac{\sigma^{4}C_{H,K}^{2}}{4 T^{4HK}e^{2\theta T }}\\
\times \int\limits_{[0,T]^{4}}e^{\theta(t_{1}-s_{1})}e^{\theta(t_{2}-s_{2})}\left\...
- 31
2
votes
1
answer
579
views
Does the Border (Boundary) Points of a convex body make a concave function?
Let $\mathbb{S}$ be a closed and bounded convex body in 2-D with some non-empty intersection with positive quadrant and let it also contain origin. Let $c>0$ be the right-most point on the x-axis ...
- 1,421
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
- 679
1
vote
1
answer
370
views
A question which belongs to a class of Zygmund functions
Let $f$ be an absolutely continuous, periodic with period 1 and satisfies the condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const}\frac{\delta}{(\log\frac{1}{\delta})^{\epsilon}}, \,\,\,\...
- 197
2
votes
1
answer
689
views
Partitions of an interval
This question asks about properties of functions which are "piecewise" polynomials. I would like to ask a specific question about the meaning of "piecewise" there.
Specifically, consider "partitions" ...
- 2,358
2
votes
1
answer
447
views
Original source for a well-known result of convergence in measure and almost everywhere
A well-known result in measure theory states that given a sequence $(f_n)_{n=1}^\infty$ of measurable functions from a $\sigma$-finite measure space $(X,\mathcal{A},\mu)$ to $\mathbb{R}$ then the ...
- 729
1
vote
1
answer
741
views
Some infinite products related to prime numbers.
Let $P$ be the set of all odd prime numbers. I am looking for all $s\in(1,\infty)$ for them
$
A=\prod_{p\in P} (1+\frac{1}{(p-1)^s})^{p-1}
$
exists (i.e. is finite). I know that it should be ...
6
votes
2
answers
425
views
orderings of the field R((x, y))
I don't know much about the theory of ordered fields. But I know that, for the real fields
$\mathbb{R}(y)$, $\mathbb{R}((x))(y)$, and $\mathbb{R}((x))((y))$,
we can explicitly determine all the ...
- 620
7
votes
1
answer
1k
views
Can a continuous, nowhere differentiable function have specified "shape" at every point?
I'm a bit embarrassed to admit that:
a) This is a rather unmotivated question.
b) I can't remember whether or not I've asked this before, but searching doesn't seem to turn anything up so ...
...
- 793
1
vote
0
answers
71
views
The jump set of $SBV$ function for different value of parameter in image denoising problem
The classical Mumford-Shah image denoisng problem study the minimizer of the following functional, for each $\alpha>0$ where $\Omega\subset \mathbb R^2$ is open bounded with sommth boundary,
$$
u_\...
- 679
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
6
votes
1
answer
634
views
Arbitrary small positive lower semi continuous functions
This question is a generalization of the question posed in this page to lower semi continuous functions. so let me describe the Question in the following way.
Def: Let $(X,\tau)$ be a Tychonoff ...
- 1,788
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
2
answers
292
views
specific improper integral involving erf
I have encountered an integral, and kindly ask for help with a solution. It is beyond my own capabilities, and neither Maple nor Mathematica were of any help:
$$
\int_{1}^{\infty} \left[\mathrm{erf}\...
- 21
1
vote
0
answers
150
views
Positivity of alternating series
Let $\{a_n\}_{n=0}^{\infty}$ be a sequence of positive real numbers such that $\limsup_n \frac{1}{n}\log a_n=-\infty$. Then
$$
f(x)=\sum_{n\geq 0}a_n x^n
$$
converges absolutely for all $x$. Under ...
- 1,329
2
votes
2
answers
283
views
A general inequality about spherical mean of a function
suppose $\overline u(r)=\frac{1}{\omega_{n-1}}\int_{S^{n-1}}u(r,w)dw,0<r<1,$ is the average of $u(r,w)$ on sphere $S^{n-1}$,where $(r,w)$ are the polar coordinates in $R^n$.
My question is ...
- 21
2
votes
0
answers
60
views
A question about Kolmogorov Superpositions
D.A. Sprecher showed (https://www.researchgate.net/profile/David_Sprecher2/publication/243052898_A_Representation_Theorem_for_Continuous_Functions_of_Several_Variables/links/554929f20cf2ebfd8e3ad956....
- 371
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...
- 135
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
5
votes
2
answers
917
views
Is the inclusion of Lebesgue spaces compact?
[Disclaimer: this may be a very trivial question; it certainly looks like it ought to have been studied and understood. I started thinking about it this morning when writing some notes for Rellich-...
- 39.1k
1
vote
1
answer
114
views
question about $TGV^2$ space
Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and
$$
TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in C_c^\infty(I),\,\|\phi\|_{L^{\infty}(...
- 679
1
vote
2
answers
654
views
Limit with theorem of dominated convergence
Let $f\in L^{2,s}(\mathbb{R}^3)=\bigg\lbrace u\bigg|\int_{\mathbb{R}^3}dx\,|u(x)|^2(1+|x|^2)^s<\infty\bigg\rbrace$ ($s>\frac{1}{2}$)
I have to calculate this limit
$$\lim_{|x-y|\to 0}\int_{\...
- 25
5
votes
0
answers
195
views
Characterizations of an exotic measure on the open sets in the circle $S^{1}$
Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...
-2
votes
1
answer
80
views
Suppose a real differentiable function with its derivative not infinity, it is sure that its second symmetric derivative should exist? [closed]
Suppose a real differentiable function $h(x)$ with its derivative not infinity, it is sure that its second symmetric derivative $\lim_{\epsilon->0}\frac{h(x+\epsilon)-2h(x)+h(x-\epsilon)}{\epsilon^...
- 39
0
votes
0
answers
152
views
The Lebesgue measure of the low level sets of the two-dimmension Fourier transform of a compactly supported function
Let $f\in {{L}^{1}}\left( {{\mathbb{R}}^{2}} \right)$ be a density function with the support $\operatorname{supp}\left( f \right)\subset \left[ a,b \right]\times \left[ c,d \right]$. Denoted by $\hat{...
- 141
0
votes
0
answers
59
views
Restriction to Basis of Cadlag function
If $f \in L^2([0,T])$ then it can be written as
$$
f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t),
$$
for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
- 5,405
3
votes
1
answer
97
views
Number of small projections
Suppose $X$ is a finite subset of the plane and for $0\leq \theta<\pi$, let $l_\theta$ denote the line through the origin having angle $\theta$ with the positive $x$-axis. For how many values of $\...
- 133
0
votes
1
answer
137
views
Equality cannot hold unless $x \in \{-1,1\}$ and/or Wronskian is not zero [closed]
By playing around with assoc. Legendre polynomials, I arrived at
$$((l+1)+m) (P_l^m(x))^2+((l+1)-m)(P_{l+1}^m(x))^2 = 2(l+1)x P_l^m(x)P_{l+1}^m(x).$$
Now, I want to show that we don't have equality ...
- 3
2
votes
0
answers
134
views
Hermite interpolation
I need a help to my problem, I would be grateful if anyone could help.
Let $\epsilon \in [0,1]$ and for an integer $n$ we consider a set of nodes $T_n={t_0,t_1,....t_n}$.
We define the function $f(x)...
- 21
3
votes
3
answers
522
views
Closure of singular points
Let $f(x,y)$ be a complex degree $d$ polynomial that has this particular
form.
$$ f = \frac{f_{02}}{2} y^2 + \frac{f_{21}}{2} x^2 y +
\frac{f_{12}}{2} x y^2 + \frac{f_{03}}{6} y^3 + \frac{f_{40}}{...
- 3,245
2
votes
0
answers
67
views
How much must a curve bend to intersect another curve twice?
Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...
- 131
1
vote
0
answers
225
views
Is there an improvement for the Schur-Horn inequalities for positive semi-definite matrices?
By the Schur-Horn inequality I am thinking of the statement that for any Hermitian matrix $H$ its diagonal n-tuple $(H_{11},H_{22},..,H_{nn})$ for any choice of basis lies in the convex hull of the $n!...
- 1,893
5
votes
0
answers
183
views
On Rényi entropy/divergence
The Rényi entropy for a probability density function $f$ with dominating measure $\mu$ of order $\alpha>0$ is defined as
$$H_\alpha(f)={1 \over {\alpha-1}}\log\int f^\alpha d\mu.$$
If $f$ is ...
- 599
11
votes
0
answers
137
views
Assymptotics of a Selberg type integral
Does any one know some references/ ideas on how to study the assymptotics as $N$ goes to $\infty$ of the following Selberg type integral
$$\int _{\mathbb R^N} e^{-|x|^2}\ \prod_{1\le i<j\le N} \...
- 111
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
1
vote
0
answers
1k
views
Properties of a rational function of multiple variables
Suppose you are given a multivariable rational function f(x0,x1,x2,x3,..,xn), so the only four operation are +,-,*,/.
Assume that all constants and exponents are integers within certain range.
I ...
2
votes
0
answers
67
views
On two functions with isodirectional gradients
Let $U\subset \mathbb{R}^n$ be open and $f,g:U \to \mathbb{R}$ be two $C^1$ functions whose gradients are always in the same direction, i.e. $\forall i,j \in \left\{1,...,n\right\}$
\begin{equation}
(\...
- 1,461
1
vote
0
answers
79
views
An inequality for integral on spheres
I have a question concerning to the integral on sphere. It's maybe true and simple but I don't know how to prove it. Could anyone have some suggestions? Thanks.
Denote $S^{n-1}$ the unit sphere in $R^...
- 379
2
votes
1
answer
465
views
Showing the derivative of this function is equal to $0$ a.e [closed]
Define $f:[0,1]\to [0,1]$ by $f(0)=0$, and $$f(x)=\sum\limits_{r_n\le x} 2^{ -n }$$ with $0\lt x\le 1$ where $[r_n]_{n\in \mathbb{Z^+} } = \mathbb{ Q} \cap (0,1) $.
How to show that the derivative $...
- 133
2
votes
0
answers
151
views
Weak Morrey Spaces
As is well known, Morrey spaces are widely used to
investigate the local behavior of solutions to second order elliptic partial differential
equations. Recall that the classical Morrey spaces $\...
- 201
1
vote
1
answer
620
views
Smallest Lipschitz constant on non-convex domains
It is well known that if a function $f:U\to \mathbb C^n$, $U\subset \mathbb C^m$ satisfies $\sup_{x\in U}\|Df(x)\|_{\infty} = C < \infty$ uniformly on $U$ and $U$ is compact and convex, then $f$ is ...
- 959
1
vote
1
answer
393
views
On methods for dealing with recursively defined sequences
Define $a_1=8$ and $a_n=\frac{4^{n+1}-2^{n+2}\sqrt{4^n-a_{n-1}}}{2}$ for $n\geq 2$.
By means of harmonic analysis methods it can be shown that $a_n$ converges to $\pi^2$ (this being the first ...
- 133
4
votes
0
answers
121
views
The best constant in Poincare-liked inequality in $BV$ and $BD$ space
This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
- 679
0
votes
2
answers
200
views
Solving a functional equation
I would like to consider the following simple problem. I want to find two functions $f,g : \mathbb R \to \mathbb R$ such that, being given a collection $(h_v)_{v\in V}$ of real functions indexed by ...
user45183
1
vote
1
answer
220
views
There is a horseshoe with positive measure
Here is a theorem by Bowen :
My question is about the highlighted part in the picture. why there such a function $g$ exist?
- 279