All Questions
5,702 questions
0
votes
1
answer
347
views
Asymptotic behaviour of fixed points in permutations
For any $n\in\mathbb{N}$ let $S_n$ denote the set of all permutations (bijective maps) $\pi:\{1,\ldots, n\} \to \{1,\ldots,n\}$. For $\pi \in S_n$ we set $$\text{fix}(\pi) = \{x\in \{1,\ldots, n\}: \...
0
votes
0
answers
71
views
Existence of local minimizer
For a $f\in C^3$ function, if there is a sufficiently small $\epsilon$
$$\| \nabla F(x) \| < \epsilon$$
and a sufficiently large $\alpha$ where
$$\lambda_{\min}[\nabla^2 F(x)] \ge \alpha$$
Can ...
0
votes
0
answers
81
views
Differential operator and equivalence
Here is the problem:
I have a certain PDE and there is the nonlinear terme $h$, I have as data:
$f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$
Now on consider the fnction $$h(...
0
votes
0
answers
140
views
Lipschitz extensions preserving the convex hull of the range
We assume that $X$ is a metric space and that $A \subseteq X$ is a subset. Let $f : A \rightarrow \mathbb R$ be a Lipschitz-continuous function with Lipschitz constant $L$.
By the Kirszbraun theorem, ...
0
votes
0
answers
308
views
Invertible operator
We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$
We hope to prove that $T$ is invertible if and only if $L = n\pi $.
and for this ...
0
votes
0
answers
58
views
in search of convergent daughter sequences
Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$.
Question. Is there a subsequence $\{f_{...
0
votes
0
answers
93
views
What is the class of real sequences satisfying these conditions?
I'm interested in finding the class of the real sequences $u_{k}$, $k\in \mathbb{N^*}$ which satify the following conditions:
$\displaystyle \sum_{k=1}^{\infty}\frac{1}{u_{k}}$ diverges i.e $\...
0
votes
0
answers
80
views
Comparison of two functions
Given a function $f$ from $R^2$ to $R$ satisfying tha following:
$1)$ $f$ is a convex function which vanishes on $(0,1)$ and on $(1,0).$
$2)$ $f$ is a decreasing function on $x$ and on $y$ and $f$...
0
votes
2
answers
144
views
Optimization function of two variables
Let $A, B, C, D \in \mathbb{R^*_+}$.
Is it possible to solve
$$
\max_{ \substack{0 \leq x\leq A \\ 0\leq y\leq B}} \frac{1+x+y}{(1+Cx)(1+Dy)}
$$
The KKT conditions give for an extrema $(x^*,y^*)$
...
0
votes
0
answers
42
views
What (analytical or numerical) method can I use to solve scalar optimal problem?
I got the following optimization problem in mind and I am looking for some (analytic or numerical) methods to solve it. Can anyone have any ideas? Here is problem
\begin{aligned}
& {\text{...
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])$ ...
0
votes
0
answers
271
views
Convolution Integral involving an unknown function
I've got the following problem I'm working on which is related to some of my research.
I am trying to solve the following equation for the function $f$.
$$t^{-\alpha} \exp{ \left(- \beta x^2 t^{-2 \...
0
votes
0
answers
131
views
Measurable sets of probability measures $\{\mu \in M: (\mu \times \mu)(A) \in B\} \in \mathscr{M}$
Let $(X,\mathscr{F})$ be a measurable space, and let $M$ be the set all probability measures $\mu: \mathscr{F} \to [0,1]$. Let us denote with $\mathscr{M}$ the $\sigma$-algebra on $M$ generated by the ...
0
votes
0
answers
55
views
Representation of multi-variable functions as a composition of 1- or 2-variable functions [duplicate]
This is a re-post of my question from M.SE that remains unanswered for several months.
I'm familiar with Kolmogorov–Arnold representation theorem, but AFAIK their construction makes essential use of ...
0
votes
0
answers
85
views
Some problems about symmetric convolution semigroup on the unit circle
These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes".
Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
0
votes
0
answers
64
views
Approx the jump point of a $BV$ function from both hand side
Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as
$$
u(x)=
\begin{cases}
0,&\text{ if }x\in(-1,0)\\
1,&\text{ if }x\in(0,1)
\end{cases}
$$
Clearly, we have $u\in ...
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
0
votes
0
answers
344
views
Beurling density $D(X)$ of $X=\{x_j\in\mathbb R, \ |x_j-x_{i}|>\gamma>0: \ i,j\in\mathbb Z\}$
Beurling density of set $X$ is defined (see, for example "Nonuniform Sampling and Reconstruction in Shift-Invariant Spaces" by Aldroubi and Grochenig) as:
$$D(X)=\lim_{r\rightarrow \infty} \inf_{y\in\...
0
votes
1
answer
186
views
Poisson kernel, $E^{(x, y)}\text{exp}\{i\theta X_t - \theta Y_t\} = e^{i\theta x - \theta y}$
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. How do I see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, y)}\text{exp}\{...
0
votes
0
answers
116
views
Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane
We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$.
What is ...
0
votes
0
answers
63
views
The union of weighted compact supported continuous function
Let $\Omega\subset \mathbb R^N$ be open. Given a weight function $v\geq 1$ such that $v\in L^1_{\text{loc}}(\Omega)$ and $l.s.c$. Also supposethere exists a Lipschitz continuous sequence $v_n$ such ...
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 ...
0
votes
0
answers
82
views
Construction of a path of quadratic variation
This question has been posted to Stack Exchange earlier, and no answer is available yet.
Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval
is defined by
$$V_{p}(x, [a, b]) =...
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
0
votes
0
answers
808
views
Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$
Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
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{...
0
votes
1
answer
111
views
Convergence in an infinite matrix
Let $\omega$ be the first infinite ordinal, and let $A$ be a real $(\omega+1)\times(\omega+1)$-matrix, that is $A$ is a map $A:(\omega+1)\times(\omega+1) \to \mathbb{R}$.
Suppose that $A$ has the ...
0
votes
0
answers
121
views
A special approximation of BV functions
Suppose $\Omega:=B(0,1)\subset \mathbb R^2$. Let $u\in BV(\Omega)$ be a radially symmetric, i.e., $u(x)=u(Rx)$ for all $R\in SO(2)$. In addition, suppose $w$ to be an affine function,. i.e., $\...
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
0
votes
0
answers
145
views
Discrete measures and discrete kernels
This is a cross-post from math.stack. Let $d\in\mathbb N$ and $\mu$ be the probability measure on $\mathbb R^d$ defined by $\mu=\sum_{k=1}^\infty 2^{-k}\delta_{x_k}$ for some sequence $(x_k)_{k\in\...
0
votes
0
answers
94
views
Do they have the same limit?
Suppose $a(\cdot)\in L^p$ and is symmetric and $b(\cdot)\in L^q$, where $1/p+2/q=2$, $p,q\ge 1$. Consider the quantity $Q_T=$
$$
\frac{1}{T}\int_{\mathbb{R}}dx\int_{[-T,T]^2}d\mathbf{v}\int_{[-T,T]^2}...
0
votes
0
answers
161
views
Asymptotic analysis of a sum of complex summands using integral
I'm trying to find the exact asymptotics of a sum:
$$A = \sum^n_{i=0} \begin{pmatrix} 2n \\ i \end{pmatrix} x^{i} y^{2n-i} $$
as $n\rightarrow\infty$. Here $x,y$ are complex numbers, $|x|\leq1, |y|\...
0
votes
0
answers
145
views
A question about the duality principle
Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by $$\Phi_Kf(y)=...
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^{...
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 $...
0
votes
0
answers
145
views
Does there exist this special kind of homeomorphism?
Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
0
votes
0
answers
206
views
About approximate eigenvalue
I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4.
Suppose $X$ is a real Banach Space, $M$ is a ...
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 $|...
0
votes
0
answers
45
views
compactness related to some distance defined on the space of increasing functions2
Let $I=[0,1]$ and denote by $C^{+}(I)$ the space of continuous increasing functions. Can we find a distance $d$ for $C^+(I)$ such that the set of the form
$$d(f,g)\rightarrow 0\Longrightarrow f(1)\...
0
votes
0
answers
67
views
Proof that Newton expansion over derivatives has the properties of an integral [duplicate]
Let's consider a Newton expansion over consecutive derivatives of a function:
$$F(x)=\sum_{m=0}^{\infty} \binom {-1}m \sum_{k=0}^m\binom mk(-1)^{m-k}f^{(k)}(x)$$
Can it be proven that such ...
0
votes
2
answers
168
views
Let f:J→R be an absolutely continuous and f'\in...?
Let $f:J\rightarrow \mathbb{R}$ be an absolutely continuous.
Under what kind of extra condition for $f'$, (not $C$) holds the following relation?
$$
\Big | \frac{1}{|I_{1}|}\int_{I_{1}}f'(x)dx- \...
0
votes
0
answers
405
views
Dual of the space of vector valued Borel measures
What is the dual of the space of all vector valued Borel measures?
0
votes
0
answers
115
views
Quasi-simmetric function and bi-Lipschitz functions
Assume that $f$ is a homeomorphism of the unit circle onto itself. If $$1/M \le \frac{|f(e^{i(t+s)})-f(e^{i(t)})|}{|f(e^{i(t)})-f(e^{i(t-s)})|}\le M,$$ then we say that $f$ is $M-$quasi-symmetric ...
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
0
votes
0
answers
60
views
Relative homology of interlevel set
Let us consider a function $f:\mathbb{R}^3→\mathbb{R}$,
$f(x,y,z)=x^3+y^3+z^3-5yz$. Can anybody drop a hint how
to compute relative homology of interlevel sets with coefficients in $\mathbb{R}:
H_{\...
0
votes
0
answers
127
views
A question of the weights $A_\infty$' equvalent condition in Real &Harmonic analysis
I have a question. The question is to prove:
The weight $w \in A_\infty $if and only if
$\frac{1}{|Q|}\int_Q w(x)dx \cdot \exp\left(\frac{1}{|Q|}\int_Q \log\frac{1}{w(x)}dx\right)\leq C$, for all
...
0
votes
0
answers
94
views
Extending coverings over dense subsets
Let $X$ be a metric space with $D⊆X$ a dense subset.
If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$?
For a ...
0
votes
0
answers
149
views
Does this sequence of H\"older functions have a limit?
Let $\left\{\alpha_{n}\right\}_{n\in \mathbb{N}}$ a sequence of positive real numbers with
$$\alpha_{n}\in (0,1)\quad \textrm{and}\quad \alpha_{n}>\alpha_{n+1}$$
Moreover suppose
$$\lim_{n\...
0
votes
0
answers
490
views
Sufficient conditions for continuity of function $y\mapsto\min_{[x_0,y]}\phi$
Let $\phi:\mathbb{R}\to\mathbb{R}$ a continuous function.
Fix $x_0\in\mathbb{R}$ and consider
$$\psi:\mathbb{R}\to\mathbb{R},\ \psi(y)=\min_{\xi\in[x_0,y]}\phi(\xi)\ .$$
Is $\psi$ a continuous ...
0
votes
0
answers
241
views
Continuity of a function
Let $f\in L^2(\mathbb{R}^3)$ with compact suppport and $z\in\mathbb{C}$. Is the following function continuous for $z\in Q = \{ z : \Re z\in [a,b], \Im \sqrt{z} \in (0,1] \}$:
$$ F(z)=\bigg(\alpha-i\...