Related papers: Generalized Fourier series by double trigonometric…

Let $g$ be a totally positive function of finite type. Then the Gabor set $\{e^{2\pi i \beta l t} g(t-\alpha k), k,l \in Z \}$ is a frame for $L^2(R)$, if and only if $\alpha \beta <1$. This result is a first positive contribution to a…

Let $B_L$ the open ball in ${\bf R}^n$ centered at $0$, of radius $L$, and let $\phi$ be a homeomorphism from $B_L$ onto ${\bf R}^n$ such that $\phi(0)=0$ and $\phi=\nabla\Phi$, where the function $\Phi:\bar {B_L}\to ]-\infty,0]$ is…

A simple geometric condition is sufficient for analytic hypoellipticity of sums of squares of two vector fields in ${\mathbb R}^2$. This condition is proved to be necessary for generic vector fields and for various special cases, and to be…

Let $\omega_0,\dots,\omega_M$ be complex numbers. If $H_0,\dots,H_M$ are polynomials of degree at most $\rho_0,\dots,\rho_M$, and $G(z)=\sum_{m=0} ^M H_m(z) (1-z)^{\omega_m}$ has a zero at $z=0$ of maximal order (for the given…

The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$…

This paper investigates new first-order optimality conditions for general optimization problems. These optimality conditions are stronger than the commonly used M-stationarity conditions and are in particular useful when the latter cannot…

For a positive integer $n$, the set of all integers greater than or equal to $n$ is denoted by $\mathcal T(n)$. A sum of generalized $m$-gonal numbers $g$ is called tight $\mathcal T(n)$-universal if the set of all nonzero integers…

New sufficient conditions for representation of a function via the absolutely convergent Fourier integral are obtained in the paper. In the main result, Theorem 1.1, this is controlled by the behavior near infinity of both the function and…

The main purpose of this paper is solve polynomial equations that are satisfied by (generalized) polynomials. More exactly, we deal with the following problem: let $\mathbb{F}$ be a field with $\mathrm{char}(\mathbb{F})=0$ and $P\in…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

We prove $L_q(\R^m)$--discretization inequalities for entire functions $f$ of exponential type in the form \ba C_2\|f\|_{L_q(\R^m)} \le \left(\sum_{\nu=1}^\iy \left\vert f\left(X_\nu\right) \right\vert^q\right)^{1/q} \le…

We extend the Kahane-Katznelson-de Leeuw theorem to smoothness spaces by showing that for any $g \in W^{l,2}(\mathbb{T}^d)$, there exists a function $f\in C^l(\mathbb{T}^d)$ satisfying $|\widehat{f}(n)|\geq |\widehat{g}(n)|$ and…

Montgomery's Lemma on the torus $\mathbb{T}^d$ states that a sum of $N$ Dirac masses cannot be orthogonal to many low-frequency trigonometric functions in a quantified way. We provide an extension to general manifolds that also allows for…

Denote the coefficients in the complex form of the Fourier series of a function $f$ on the interval $[-\pi, \pi)$ by $\hat f(n)$. It is known that if $p = 2j/(2j-1)$ for some integer $j>0$, then for each function $f$ in $L^p$ there exists…

We establish a Rademacher type theorem involving Hamiltonians $H(x,p)$ under very weak conditions in both of Euclidean and Carnot-Carath\'eodory spaces. In particular,$H(x,p)$ is assumed to be only measurable in the variable $x$, and to be…

In this paper we generalize Bochkariev's theorem, which states that for any uniformly bounded orthonormal system $\Phi$, there exists a Lebesgue integrable function such that the Fourier series of it with respect to system $\Phi$ diverge on…

Let $R = k[x_1,\ldots, x_d]$ denote a standard graded polynomial ring over an algebraically closed field $k$, and let $I \subset R$ be a perfect ideal of codimension $2$ with an $n\times (n-1)$ linear presentation matrix $\phi$. We prove an…

Let $\Omega^o$ and $\Omega^i$ be open bounded subsets of $\mathbb{R}^n$ of class $C^{1,\alpha}$ such that the closure of $\Omega^i$ is contained in $\Omega^o$. Let $f^o$ be a function in $C^{1,\alpha}(\partial\Omega^o)$ and let $F$ and $G$…

The present work establishes necessary and sufficient conditions for a nonlinear system with two inputs to be described by a specific triangular form. Except for some regularity conditions, such triangular form is flat. This may lead to the…

We generalize two embedding theorems and investigate the existence and multiplicity of nontrivial solutions for a $(p,q)$-Laplacian coupled system with perturbations and two parameters $\lambda_1$ and $\lambda_2$ on locally finite graph. By…