All Questions
5,857 questions
2
votes
0
answers
385
views
(Quasi) convexity of separately convex homogeneous functions
Consider a function $f:\mathbb{R}^n_{\geq 0}\rightarrow \mathbb{R}$ that is separately convex, i.e. such that $\frac{d^2f}{dx_i^2}\geq 0$ for all $i\in \{1,\dots n\}$. Assume also that $f$ is ...
- 389
1
vote
0
answers
134
views
Convolution integral of series involving the non-trivial zeros of $\zeta(s)$
Let us consider the convolution $$f\left(x\right):=\int_{2}^{x-2}\sum_{\rho_{1}}\frac{u^{\rho_{1}}}{\rho_{1}}\sum_{\rho_{2}}\frac{\left(x-u\right)^{\rho_{2}}}{\rho_{2}}du,\,x>4$$ where $\rho_{i},\,...
- 219
2
votes
1
answer
341
views
Lebesgue measure of the set $\frac{1+x}{1+y}$ with $x,y$ in a fat Cantor
Let $I_\alpha\subset[0,1]$ be an $\alpha$-Cantor set of Lebesgue measure $\alpha$ and let $I=I_\alpha+\{1\}=\{1+x:x\in I_\alpha\}$.
Q1. What is the Lebesgue measure of the set $\{\frac{t}{s}:t,s\in I\...
- 1,583
3
votes
0
answers
137
views
Can monoids of "continuous words" be realized as initial monoid objects?
Whenever $X$ is a set, write $X^*$ for the monoid freely generated by $X$. The elements of $X$ are, of course, words in the letters $X$. When $X$ is finite, there also seems to be a great many ...
- 3,793
3
votes
1
answer
236
views
computational complexity: do we gain acceleration?
There is a technique we developed for series acceleration using the Wilf-Zeilberger method. Here is a simple Maple code in this regard, you need to download this too.
The idea is you start with a WZ-...
- 43.2k
2
votes
0
answers
46
views
A special integral equation of Volterra type
Let $a,f \in L^2(0,t)$ (where $t \leqslant 1$), and consider the following integral equation:
$$
f(t)\int_0^t a(s)\,ds + \int_0^t a(t - s) f(s) \, ds = 0
$$
My question is : under what condition ...
- 617
2
votes
1
answer
149
views
The infinite set of $SBV$ function?
Let $u\in SBV(\Omega)$ where by $SBV$ we denote the special bounded variation function and $\Omega\subset \mathbb R^N$ is open bounded.
Let's identify $u$ by its approximation representative (see ...
- 679
7
votes
3
answers
2k
views
Sarrus determinant rule: references, extensions
SEEKING REFERENCES FOR SARRUS' RULE AND EXTENSIONS
An undergraduate came to me with an identity for 4x4 determinants that is actually correct:
$\det(A)=h(A)+h(RA)+h(R^{2}A)$
where R cyclically ...
- 73
6
votes
1
answer
983
views
Legendre transform and Lipschitz approximation
Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function $...
- 9,340
2
votes
1
answer
207
views
Expectation of Truncated Bivariate Gaussian Random Variables
Suppose $Z , \epsilon \sim N(0, 1)$ are independent Gaussian random variables. Let $a \ll 1$ be a small positive number. Let $W = aZ + \epsilon$. It can be show that
\begin{align}
\mathbb{E} [ W^2 (Z^...
- 1,127
4
votes
0
answers
298
views
Operator topologies
Let $L(H)$ be the space of bounded operators on some Hilbert space.
We can endow this space with the operator norm topology, the strong operator topology (SOT) and the weak operator topology (WOT).
...
- 41
4
votes
1
answer
183
views
dyadically recursive matrices: Part II
We present some variation on this MO question which is equally amusing to me.
Define the $2^{n-1}\times 2^{n-1}$ matrix $A_n$ recursively as follows: $A_1(a_1)=\begin{pmatrix} a_1\end{pmatrix}$ and
$$...
- 43.2k
1
vote
1
answer
109
views
Share of fortunate people in some pie splitting setting
(This question is a follow-up on an older one.)
A huge pie is divided among $N$ guests. The first guest gets $\frac{1}{N}$ of the pie. Guest number $k$ guest gets $\frac{k}{N}$ of what's left, for ...
- 48.9k
1
vote
0
answers
150
views
Proving the existence of a sequence with recursive growth constraints
Fix $0 < c < 1/3$. Show that there exists a strictly increasing sequence $a_k > 0$, a sequence $b_k \geq 0$, and an infinite set $K \subseteq \mathbb{Z}_{>0}$ such that
\begin{align}\...
- 161
5
votes
1
answer
958
views
Does a nonlinear additive function on R imply a Hamel basis of R?
A function is additive if $f(x+y) = f(x) + f(y)$. Intuitively, it might seem that an additive function from R to R must be linear, specifically of the form $f(x) = kx$. But assuming the axiom of ...
- 4,597
1
vote
1
answer
294
views
A problem about the quotient space of an extended Dirichlet space
Let $(\mathscr{E},\mathscr{F})$ be a recurrent Dirichlet form on $L^2(X;m)$ and $\mathscr{F}_e$ the corresponding extended Dirichlet space, then $1\in\mathscr{F}_e$ and $\mathscr{E}(1,1)=0$. Let ${\...
- 369
0
votes
1
answer
770
views
About weak derivatives [closed]
I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
- 721
0
votes
1
answer
434
views
Long term behavior of a certain discrete time dynamical system on graphs
Consider the graph $(V,E)$ with vertex set $V=\{v_1,...,v_n\}$ and edge set $E\subset V\times V$. Further, assume that $\forall v_i\in V, (v_i,v_i)\in E$.
Assume that each vertex has an $\textit{...
- 2,441
1
vote
1
answer
321
views
A question about Borel sets on the unit interval
It is known that each non-decreasing continuous function $\phi$ induces a $\sigma$-additive measure $d\phi$ such that $\int_0^1 f(x) d\phi(x)$ exists for every bounded real-valued Baire function $f$. ...
- 5,902
1
vote
1
answer
392
views
Integral kernel smooth
Assume that $Tf(x):=\int_{\mathbb{R}^n} K(x,y)f(y) dy$ is an operator such that $T \in L( H^{-k}, H^k)$ is continuous for any $k$, where $H^k$ is the $k-th$ order Sobolev space on $\mathbb{R}^n$.
...
- 11
10
votes
1
answer
761
views
Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?
Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $j'_{n+1/2,1}$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$.
...
- 135
3
votes
1
answer
318
views
Optimal condition for the weak convergence of the jacobian determinant
Whenever $n<q,$ it is known that given a sequence $\{ u_{k} \}$ which is weakly convergent in $W^{1,q}(U)$ one has that the Jacobian determinants $\text{det} Du_{k}$ converge weakly in $L^{q/n}(U).$...
- 251
1
vote
3
answers
363
views
Estimating L1 functions over the ball with radius 2r
Let $ f $ be in $ L^1(\Omega) $ where $
\Omega $ is an open subset of $ \mathbb{R}^n $. Also, assume that $ B(x_i,r_i) $ is a collection of disjoint open balls in $ \Omega $ such that $ B(x_i,2r_i) \...
- 520
1
vote
1
answer
165
views
When a product of cdf and tail distribution is increasing?
My problem is the following. Given $F$ and $G$ cumulative distribution functions, with densities $f,g$ (for example on $[0,1]$), what can I say on the monotonicity of $F(x)(1-G(x))$? More specifically:...
- 43
2
votes
0
answers
341
views
Trace class operators convergent series
On wikipedia it is mentioned that if we are on some (separable) Hilbert space $H$ and there is an ONB $(e_n)$ such that any compact operator $K$ can be written as
$$ K = \sum_{n,m =0}^{\infty} K_{n,m}...
- 305
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
-1
votes
1
answer
519
views
Poisson kernel is the Cauchy distribution, reference?
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Can someone give me a reference to a proof that the Poisson kernel is the Cauchy distribution?
2
votes
0
answers
100
views
Roots of a partially holomorphic function
Let $\Omega$ be an open subset of $\mathbb R^d$, let $U$ be an open subset of $\mathbb C$ and let $f:\Omega\times U\rightarrow\mathbb C$ be a $C^\infty$ function which is holomorphic with respect to $\...
- 16.2k
11
votes
2
answers
505
views
An inequality for copulas
Suppose that $f$ from $[0,\infty]$ onto $[0,1]$ is completely monotonic on $(0,\infty)$, and let $g$ be the inverse of $f$. For $(u,v)$ in $[0,1]^{2}$, define $C(u,v) = f(g(u)+g(v))$, and let $a = (u+...
- 3,443
5
votes
1
answer
219
views
Uniqueness from orthogonality relation?
This question was posted yesterday on MathOverflow by Michael Smith and received a number of upvotes. I too think the question was interesting. However, for some unknown to me reasons, it has been ...
- 128k
6
votes
1
answer
306
views
In the plane, does complement of Brownian path have infinitely many connected components?
Let $d = 2$. Do we have that with $P_x$—probability $1$, for every $T> 0$ the complement $W[0, T]^c$ of the Brownian path up to time $T$ has infinitely many connected components?
I had seen this ...
- 61
3
votes
0
answers
223
views
Does the divergent solution of this equation :$f'=e^{f^{-1}}$ of Gevrey type and could be Borel summation applied for it?
This question was asked here in MO by someone seeking for the solution of the functional -differential:$f'=e^{f^{-1}}$ not exactly an O.D.E, and again here seeking for the growth rate of it solution ...
user99666
1
vote
1
answer
868
views
Limit of functions and asymptotic behaviour
Let us consider a sequence $(p_l)_l$ of polynomials on $[0,1]$ that converge uniformely, as $l\to \infty$, to a function $f$ defined on $[0,1]$.
I denote the polynomials $p_l(t) = \sum_{k=0}^{m(l)} ...
- 11
1
vote
0
answers
206
views
About filters on real numbers
While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I met the following problem:
Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ ...
- 765
2
votes
0
answers
135
views
Can we get rid of this test function?
I have a real-valued function $f$ defined on a ball $B$ of $\mathbb{R}^{N}$, $N\geq2$. I have found a constant $M>0$ such that for all $x\in B$ and $B(x,R)$ (ball of center $x$ and radius $R>...
- 411
-2
votes
1
answer
158
views
About local maxima of multivariable polynomials
Lets say I have a real valued function which is writable as a polynomial in terms of Frobenius norms of a pair of matrices as in it is of the form, $f_B(A) = f(||A||_F^2, ||AB||_F^2, ||A^TAB||_F^2)$ ...
- 2,246
7
votes
1
answer
609
views
$H^s$ norm of a solution of a nonlinear Schrödinger equation
I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao.
They study the ...
- 71
1
vote
1
answer
186
views
Almost binomial sum limit
I got the following sum with which I want to prove one limit fact:
$$
f_n(a) = \sum\limits_{t=0}^{n-1} \binom{n-1}{t} (a^t)^{n-t}
$$
I want to prove that $f_n(a) \to 1$ while $n \to \infty$ for $a\...
- 342
0
votes
1
answer
697
views
the double dual of "little l one" sequence space
I remember a professor remarking a while back that the double dual of the sequence space $l_1^{\infty}(\mathbb{R})$ is a very complicated space. I understand it must contain a copy of the original ...
- 9
2
votes
0
answers
76
views
Bounding algebraic numbers away from the Gaussian integers
Let $\alpha$ be an algebraic number with degree $\leq d$ and (absolute multiplicative) height $\leq H$. Then we can say a couple of things about such $\alpha$:
(1) We know the set of all $\alpha$ ...
- 31
2
votes
1
answer
104
views
Limit of biggest share of the pie
A huge pie is divided among $N$ guests. The first guest gets $\frac{1}{N}$ of the pie. Guest number $k$ guest gets $\frac{k}{N}$ of what's left, for all $1\leq k\leq N$. (In particular, the last guest ...
- 48.9k
0
votes
1
answer
59
views
Does the neighborhood of a sequence of uniform density have uniform measure?
Suppose $t_{n}$ is a sequence of positive real numbers such that
$c_{1}\geq \lim \sup_{n\to \infty}t_{n}/n\geq \lim \inf_{n\to \infty}t_{n}/n\geq c_{2}>0$ where $c_{1}\geq c_{2}>0$ are positive ...
- 2,964
5
votes
1
answer
220
views
Order between two completely monotone functions?
I am wondering if the following assertion is true:
Let $f,g:\mathbb{R}_+\rightarrow [0,1]$ be completely monotone functions on $\mathbb{R}_+^*$, that is, $(-1)^n f^{(n)}(x)\geq 0$ and $(-1)^n g^{(n)}...
- 266
2
votes
1
answer
242
views
Conditions for a monotonic integral average
I am looking for conditions that ensure that an integral average of a function from $\mathbb R^n$ to $\mathbb R$ is a monotonic function of the averaging set.
To be more specific, let me start with ...
- 91
3
votes
0
answers
588
views
Time-dependent Sobolev spaces
Given the Sobolev space $H^1((a,b);H^2(\mathbb{R}))$ and a function $g$ in that space. Consider now another function $f \in C_c^{\infty}((a,b) \times \mathbb{R}).$ Then
for almost any $t \in (a,b)$ we ...
- 31
2
votes
0
answers
119
views
question about sequences and series (complex analysis may be only elementary real analysis)
I would like to have your help about the proof of the following statement:
If the sequences of complex numbers $\{F_N\}_{N \in \mathbb{N}},\{G_N\}_{N \in \mathbb{N}}$ have the following properties:
(...
- 51
1
vote
1
answer
441
views
Generalized Lax-Milgram for Weak Formulation of 1D Linear Schrodinger
I am interested in the variational formulation of the 1D Schrodinger equation:
$i u_t- \beta u_{xx} = 0 $ and $u(x,0)=u_0(x)$ which upon integration by parts yields:
$i(u_t,v) + \beta (u_x,v_x) = 0$ ...
3
votes
1
answer
188
views
Equivalent Definitions of the Gaussian Surface Measure for Regular Sets
I wonder if the following definitions of the Gaussian surface measure are equivalent.
First, let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e....
- 1,127
1
vote
0
answers
85
views
Conditional expectation with respect to a topological factor map
Let $\pi: (X,T) \to (Y,S)$ be a factor map of minimal topological dynamical systems, and let $U \subseteq X$ be open, non-empty.
Question: Does there exist a $T$-invariant, Borel probability measure $...
- 859
3
votes
1
answer
2k
views
Is the space of test functions separable? [closed]
Consider the space $\mathcal D(\mathbb{R}^n)$ of smooth functions (in the sense of having continuous derivatives of all orders) which are compactly supported. Endow it with its usual topology, i.e., ...
- 33