All Questions
5,910 questions
3
votes
2
answers
435
views
A possible norm on a subspace of $C^\infty([0,1])$?
I have posted the following question (with minimal differences) on MSE some days ago, without receiving a satisfactory answer, so let me try here again.
Take the vector space of infinitely ...
CommunityBot
- 1
1
vote
0
answers
460
views
Quotient of two smooth functions extension
Assume we are given smooth functions $f, g: U \to \mathbb{C}$, where $0 \in U \subset \mathbb{R}^n$ is open and $0 \in g^{-1}(0) \subset \{x_n = 0\}$. Furthermore, suppose that $\nabla g \neq 0$ on ...
- 501
1
vote
0
answers
84
views
extension for a complex operator
Let be $\lambda>0$. Put
$$ L_{\lambda}=\Big[-\frac{\partial^{2}}{\partial z \partial \overline{z}}+\lambda^{2}|z|^{2} +\lambda\Big(\overline{z}\frac{\partial}{ \partial \overline{z}}-z\frac{\...
- 25.8k
2
votes
1
answer
160
views
Can there be a numerical system in which logarithms can be expressed in terms of exponentials in closed form?
The invention of complex numbers allowed to express trigonometric functions through hyperbolic ones in closed form.
Is there possible an extension of real/complex numbers in which logarithms and ...
CommunityBot
- 1
13
votes
2
answers
1k
views
A matrix norm inequality
Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that
$\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
- 1,748
2
votes
3
answers
260
views
Nonzero solutions of an infinite product
Let $-\frac{1}{2}\le a \le\frac{1}{2}$ and $b\in[0,\infty)$.
Definitions: $$f_k(a;b):=\frac{(2k+\frac{1}{2}+a)^2+b}{(2k+\frac{1}{2}-a)^2+b}(\frac{k}{k+1})^{2a},$$
$$f(a;b):=\prod\limits_{k=1}^\infty ...
- 128k
4
votes
1
answer
3k
views
Are compactly supported continuous functions dense in the Continuous functions of Sobolev space? [closed]
I have a question about Sobolev space.
Let $\Omega$ be an open subset of $\mathbb{R}^{d}$,
we consider the Sobolev space
$H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), j=1,...
- 29.8k
1
vote
0
answers
192
views
The decay rate of the spectrum of the Gaussian kernel on compact manifolds
It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...
- 617
4
votes
1
answer
2k
views
A continuity/bootstrap argument
I am trying to understand how one can prove the following assertion using a continuity argument:
Let $0<\epsilon<\epsilon_0$. Let $I=[t_0,R]$ be a compact interval. Suppose that $S:I\to [0,\...
- 5,169
1
vote
0
answers
93
views
Multimodal property of polynomial logistic distribution
Let $P(x)$ be a polynomial (of an odd degree $n$) strictly increasing on $(-\infty, +\infty).$
Then $F(x)=\displaystyle \frac{1}{1+\exp\{-P(x)\}}$ is a distribution function of a polynomial logistic ...
- 783
1
vote
1
answer
401
views
linear recurrence inequality of positive terms
This is a follow up on my previous linear recurrence inequality question.
I have some matrices which satisfy a linear recurrence formula of the form
$$
A_{n+1} = \alpha A_{n} + \beta A_{n-1},\qquad n\...
CommunityBot
- 1
2
votes
1
answer
249
views
linear recurrence inequality
Given two real analytic functions, $g(x)$ and $f(x)$, on an open interval $I\subset \mathbb{R}$, it is obvious that $g(x) \leq f(x)$ does not imply $g_n \leq f_n$ (here $g_n = [x^n] g(x)$ denotes the $...
- 128k
23
votes
2
answers
1k
views
Evaluating an integral using real methods
This is a bit of recreational integration. The following, rather attractive integral is quite straightforward via residues:
$$\int_0^1 x^{-x}(1-x)^{x-1}\sin \pi x\,\mathrm{d}x=\frac{\pi}{e}$$
...
- 293
15
votes
2
answers
1k
views
Is there a $C_c^{\infty}( \mathbb{R}^d)$ function whose Fourier transform we can explicitly write down?
I noticed that although $C_c^{\infty}$-functions are dense in some quite large spaces and well understood (especially their Fourier transform) I have never encountered an explicit example of a ...
- 91.8k
2
votes
1
answer
120
views
On cluster points of a particular sequence
This is the sequel of a previous question.
Let us consider the sequence
$$
\xi_n = 2n \{n\xi\}-n,
$$
where $\xi>0$ is a given real irrational number and $\{\cdot\}$ is the fractional part.
Do ...
CommunityBot
- 1
4
votes
1
answer
347
views
Two similar integrals
Let $n$ be a given even positive integer. We have the following integral
\begin{align}
\int_0^{\infty}\cdots\int_0^{\infty}e^{-(x_1+\cdots+x_n+y_1+\cdots+y_n)}\prod\limits_{i=1}^n\prod\limits_{j=1}^n(...
- 60.6k
1
vote
0
answers
35
views
Concavity of maxima [closed]
Suppose we have the following optimization problem : $\min\limits_x kf(x) + g(x)$ where $f$ is a decreasing convex function in $x$ and $g$ is an increasing convex function. Can we say that $x^*$ is ...
- 11
-1
votes
1
answer
173
views
For a given $n$, under what condition(s) there exists (at least) two different $c$ and $c′$ such that $X_n^c=X_n^{c'}$
Let $X_n^c=\{\cos\left((4k-c)\frac{\pi}{2n}+\frac{\pi}{4}\right): k=0, 1, \dots, n-1\}$ where $c\in\{0, 1, \ldots, \lfloor\frac{n}{2}\rfloor\}$ and $n$ is any positive integer greater than 3. I want ...
CommunityBot
- 1
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 105k
2
votes
0
answers
463
views
Conditions for continuity of non-simple eigenvectors
Here, https://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
CommunityBot
- 1
1
vote
0
answers
334
views
A problem on Markov chains and Dirichlet forms
Let $X$ be a countable set. Let $c:X\times X\to[0,+\infty)$ satisfy
$$c(x,y)=c(y,x)\text{ for all }x,y\in X,$$
$$m(x)=\sum_{y\in X}c(x,y)\in (0,+\infty)\text{ for all }x\in X,$$
$$c(x,x)=0\text{ for ...
- 369
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{...
- 186
2
votes
1
answer
375
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 2,243
9
votes
1
answer
460
views
Why should the map $-\Delta^{-1}$ be continuous?
I'm reading an article by Wei-Ming Ni about the existence of solutions for the elliptic problem $$\Delta u +|x|^\lambda |u|^\tau =0,$$
in the unit ball $\Omega$ in dimension $>2$. I'm looking for ...
- 3,574
4
votes
1
answer
197
views
Is the number of intervals you get by slicing the closed region under a nice graph continuous from below?
Let $I$ be a closed interval in $\mathbb{R}$, and let $f:I \to \mathbb{R}$ be a bounded function, smooth except at finitely many points (piece-wise smooth). There are also only finitely many critical ...
- 1,499
4
votes
0
answers
136
views
Classifying countable sets of weighted dots on a real line
Each dot is located on the real line and assigned a weight that can be positive or negative. A dot is equivalent to two(or more) dots located at the same place whose weights sum is equal to that of ...
CommunityBot
- 1
6
votes
1
answer
741
views
Is the following integral nonzero?
Recently I met an integral as follow:
$$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq i<j\leq9}\sin\frac{\theta_i-\theta_j}{2}\right)\left(\prod\limits_{i=1}^9(1+\cos(\theta_i-\theta_{i+...
CommunityBot
- 1
1
vote
1
answer
604
views
Partition of Real Number [closed]
Can the set of Real numbers be partioned into two parts such that both are uncountable,dense and have empty interior and any closed interval intersects both at uncountably many points?
- 236k
59
votes
1
answer
5k
views
Square root of dirac delta function
Is there a measurable function $ f:\mathbb{R}\to \mathbb{R}^+ $ so that $ f*f(x)=1 $ for all $ x\in \mathbb{R} $, i.e $$\int\limits_{-\infty}^{\infty} f(t)f(x-t) dt=1 $$ for all $ x\in \mathbb{R} $.
- 114k
3
votes
2
answers
666
views
Brownian motion, quadratic variation, existence of partitions?
Let $B_t$ be a standard Brownian motion. Does there with probability one exist a sequence of partitions $\{t_{k, n} : k = 0, 1, \dots, k_n\}$ $$0 = t_{0, n} < t_{1, n} < \dots < t_{k_n, n} = ...
- 13k
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 \...
- 291
4
votes
0
answers
131
views
Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$
Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
- 355
1
vote
3
answers
684
views
Norm of an operator formed using a unitary operator
Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
- 817
5
votes
1
answer
226
views
Multidimensional integrals that diverge by oscillation
It's not hard to extend the theory of integration over ${\bf R}$ so that the integral of any compactly supported function is its usual value, while the integral of $f(t) = \cos (at+b)$ (with $a \neq 0$...
CommunityBot
- 1
4
votes
2
answers
5k
views
Ratio of Sequences Sum Inequality
I have two real sequences $a_1,a_2,\dots,a_n$ and $b_1, b_2, \dots, b_n$, with $a_i > 0$ and $1 \leq b_i < n$, and I'm looking for a lower bound of $\sum_i \frac{a_i}{b_i}$ in terms of $\sum_i ...
CommunityBot
- 1
2
votes
1
answer
363
views
Integration against Borel measures on compact Hausdorff spaces
I am studying the properties of integration against Borel measures and Baire measures. And I am not sure whether the following proposition is correct and I tried to give a proof.
Suppose that $X$ ...
- 128k
2
votes
1
answer
129
views
A singular integral of several functions
While playing with some PDE I came across a singular integral that looks something like
$$T(f_1,f_2,\ldots,f_n)(x)=p.v.\int_{-\infty}^\infty\frac{(f_1(x)-f_1(y))(f_2(x)-f_2(y))\cdots(f_n(x)-f_n(y))}{(...
- 128k
1
vote
1
answer
307
views
Ordinal of injectivity for a smooth regular curve with a finite arc-length
Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...
CommunityBot
- 1
2
votes
1
answer
152
views
Existence of non-negative extensions of smooth functions on axes
I am struggling to solve an extension problem of smooth functions, and I would like someone to help me.
The setting is as follows:
Let $X_1$, $X_2$, and $T$ be either the real lines $\mathbb R$ or ...
CommunityBot
- 1
0
votes
2
answers
122
views
Root of a special rational function with positive coefficients
During my research I came across the following problem:
I need to find a root of the following function:
$$\Gamma_{N}(x) = \sum\limits_{i=0}^{M}\left(\frac{\sum\limits_{n=0}^{n_F}n\ \alpha_{i,n} x^n}{...
- 109k
1
vote
0
answers
120
views
Interpolation functional for BV spaces?
Recently, while trying to tackle a problem, I found that it would be convenient that I could find some sort of 'interpolation theorem' for Bounded Variation Spaces. More specifically, let's define, ...
- 121
3
votes
2
answers
140
views
Sequence of subharmonic functions on shrinking domains
Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that
$$
\int_{G_\eta}|u_\eta|^2dx\wedge dy\...
- 24.2k
5
votes
3
answers
349
views
minimum of two probability densities
Consider a smooth probability density $\pi(x)$ on $\mathbb{R}^d$. I am looking for natural for the integral $\iint_{u,v} \ \min\big(\pi(u), \pi(v) \big) \ du \ dv$ to be finite. If $\pi$ is a radially ...
CommunityBot
- 1
9
votes
1
answer
451
views
Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive
Is the following function real analytic in $t>0$:
$$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$
where $-a$ and $b$ are positive, and $c\not=a$?
...
CommunityBot
- 1
3
votes
1
answer
493
views
Two minimization problems using singular value decomposition
Posted here too: https://math.stackexchange.com/questions/1711026/two-minimization-problems-using-singular-value-decomposition
Let $q_0, q_1:[0,1]\to \mathbb{R}^n$ be two maps whose components are $L^...
CommunityBot
- 1
4
votes
1
answer
260
views
Using wavelets to capture the $L^2$ norm of $f''$
I posted this question on MSE a couple of days ago. Someone gave some hints, which, besides the fact that I struggle to understand them, go in a numerical analysis direction, which I am not interested ...
CommunityBot
- 1
1
vote
0
answers
109
views
Pointwise convergence of a sequence of approximate limits of BV functions
So, let $\Omega\subset \mathbb R^2$ bounded and consider a sequence of functions $\{u_k\}_{k\in\mathbb N}\subset BV(\Omega)$ and $u\in BV(\Omega)$ such that $u_k\rightarrow u$ weakly* in $BV(\Omega)$. ...
1
vote
1
answer
278
views
Lower Matuszewska index of positive increasing $O$-regular functions
I am not sure if this question is too specific on notations (I think the question is intuitive, but basically the only reference I know with this kind of notations is Bingham, Goldie & Teugels ...
- 128k
3
votes
0
answers
91
views
Nonlinear smooth bijection from $\mathbb Q$ to itself [duplicate]
Is there a bijection $\phi: \mathbb Q \to \mathbb Q$ such that
$\phi$ is nonlinear: different from $ax+b$,
$\phi$ is smooth: the extension $\hat{\phi}$ of $\phi$ over $\mathbb R$ is $\mathcal C^2$ ?
...
- 303
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541