Sine, cosine transforms and classical function classes

We study the continuity and smoothness properties of functions f ∈ L ¹([0, ∞)) whose sine transforms $ \hat f_s $ and cosine tranforms $ \hat f_c $ belong to L ¹([0,∞)). We give best possible sufficient conditions in terms of $ \hat f_s $ and $ \hat f_c $ to ensure that f belongs to one of the Lipschitz classes Lip α and lip α for some 0 < α ≤ 1, or to one of the Zygmund classes Zyg α and zyg α for some 0 < α ≤ 2. The conditions given by us are not only sufficient, but also necessary in the case when the sine and cosine transforms are nonnegative. Our theorems are extensions of the corresponding theorems by Boas from sine and cosine series to sine and cosine transforms.     

A multivariate analog of Marsden's identity and a quasi-interpolation scheme

Let ? be a linear combination of certain box splines and \(\hat \phi \) its Fourier transform, such that \(\hat \phi \left( 0 \right) \ne 0\) and \(D^\beta \hat \phi \left( {2\pi k} \right) = 0\) for all κ∈Z^N{0} and β≤α. In this paper we construct an expression of the multivariate polynomial (·-y)^α in terms of a linear combination of the integer translates of ?(·), where the coefficients can be computed recursively using only the information on \(D^\beta \hat \phi \left( 0 \right)\) , β ≤ α. As an application, a quasi-interpolation scheme based only on function values on (scaled) integers κ∈Z^N is constructed that gives a “multivariate order” of approximation that includes both coordinate and total orders.     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Approximating minimum-cost edge-covers of crossing biset-families

Part of this paper appeared in the preliminary version [16]. An ordered pair ? = (S, S ₊) of subsets of a groundset V is called a biset if S ? S+; (V S ⁺;V S) is the co-biset of ?. Two bisets \(\hat X,\hat Y\) intersect if ^X X ∩ Y ≠ \(\not 0\) and cross if both X ∩ Y \(\not 0\) and X ⁺ ∪ Y ⁺ ≠= V. The intersection and the union of two bisets \(\hat X,\hat Y\) are defined by \(\hat X \cap \hat Y = (X \cap Y,X^ + \cap Y^ + )\) and \(\hat X \cup \hat Y = (X \cup Y,X^ + \cup Y^ + )\) . A biset-family \(\mathcal{F}\) is crossing (intersecting) if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) that cross (intersect). A directed edge covers a biset ? if it goes from S to V S ⁺. We consider the problem of covering a crossing biset-family \(\mathcal{F}\) by a minimum-cost set of directed edges. While for intersecting \(\mathcal{F}\) , a standard primal-dual algorithm computes an optimal solution, the approximability of the case of crossing \(\mathcal{F}\) is not yet understood, as it includes several NP-hard problems, for which a poly-logarithmic approximation was discovered only recently or is not known. Let us say that a biset-family \(\mathcal{F}\) is k-regular if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) with |V (X∪Y)≥k+1 that intersect. In this paper we obtain an O(log |V|)-approximation algorithm for arbitrary crossing \(\mathcal{F}\) if in addition both \(\mathcal{F}\) and the family of co-bisets of \(\mathcal{F}\) are k-regular, our ratios are: \(O\left( {\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) , and \(O\left( {\frac{{|V|}} {{|V| - k}}\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) . Using these generic algorithms, we derive for some network design problems the following approximation ratios: \(O\left( {\log k \cdot \log \tfrac{n} {{n - k}}} \right) \) for k-Connected Subgraph, and O(logk) \(\min \{ \tfrac{n} {{n - k}}\log \tfrac{n} {{n - k}},\log k\} \) for Subset k-Connected Subgraph when all edges with positive cost have their endnodes in the subset.     

An asymptotic Cauchy problem for the Laplace equation

The Cauchy problem for the Laplace operator $$\sum\limits_{k = 1}^\infty {\frac{{\left| {\hat f(n_k )} \right|}}{k}} \leqslant const\left\| f \right\|1$$ is modified by replacing the Laplace equation by an asymptotic estimate of the form $$\begin{gathered} \Delta u(x,y) = 0, \hfill \\ u(x,0) = f(x),\frac{{\partial u}}{{\partial y}}(x,0) = g(x) \hfill \\ \end{gathered} $$ with a given majoranth, satisfyingh(+0)=0. Thisasymptotic Cauchy problem only requires that the Laplacian decay to zero at the initial submanifold. It turns out that this problem has a solution for smooth enough Cauchy dataf, g, and this smoothness is strictly controlled byh. This gives a new approach to the study of smooth function spaces and harmonic functions with growth restrictions. As an application, a Levinson-type normality theorem for harmonic functions is proved.     

Moduli of continuity defined by zero continuation of functions andK-functionals with restrictions

We consider the followingK-functional: $$K(\delta ,f)_p : = \mathop {\sup }\limits_{g \in W_{p U}^r } \left\{ {\left\| {f - g} \right\|_{L_p } + \delta \sum\limits_{j = 0}^r {\left\| {g^{(j)} } \right\|_{L_p } } } \right\}, \delta \geqslant 0,$$ where ? ∈L _p :=L _p [0, 1] andW _p,U ^r is a subspace of the Sobolev spaceW _p ^r [0, 1], 1≤p≤∞, which consists of functionsg such that $\int_0^1 {g^{(l_j )} (\tau ) d\sigma _j (\tau ) = 0, j = 1, ... , n} $ . Assume that 0≤l _l ≤...≤l _n ≤r-1 and there is at least one point τ _j of jump for each function σ _j , and if τ _j =τ _s forj ≠s, thenl _j ≠l _s . Let $\hat f(t) = f(t)$ , 0≤t≤1, let $\hat f(t) = 0$ ,t<0, and let the modulus of continuity of the functionf be given by the equality $$\hat \omega _0^{[l]} (\delta ,f)_p : = \mathop {\sup }\limits_{0 \leqslant h \leqslant \delta } \left\| {\sum\limits_{j = 0}^l {( - 1)^j \left( \begin{gathered} l \hfill \\ j \hfill \\ \end{gathered} \right)\hat f( - hj)} } \right\|_{L_p } , \delta \geqslant 0.$$ We obtain the estimates $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 ]} (\delta ,f)_p $ and $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 + 1]} (\delta ^\beta ,f)_p $ , where β=(pl _l + 1)/p(l ₁ + 1), and the constantc>0 does not depend on δ>0 and ? ∈L _p . We also establish some other estimates for the consideredK-functional.     

Extension of a theorem of Shi and Tam

In this note, we prove the following generalization of a theorem of Shi and Tam (J Differ Geom 62:79–125, 2002): Let (Ω, g) be an n-dimensional (n ≥ 3) compact Riemannian manifold, spin when n?>?7, with non-negative scalar curvature and mean convex boundary. If every boundary component Σ _i has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface ${{\hat \Sigma}_i \subset \mathbb{R}^n}$ , then $$ \int\limits_{\Sigma_i} H \ d \sigma \le \int\limits_{{\hat \Sigma}_i} \hat{H} \ d {\hat \sigma} $$ where H is the mean curvature of Σ _i in (Ω, g), ${\hat{H}}$ is the Euclidean mean curvature of ${{\hat \Sigma}_i}$ in ${\mathbb{R}^n}$ , and where d σ and ${d {\hat \sigma}}$ denote the respective volume forms. Moreover, equality holds for some boundary component Σ _i if, and only if, (Ω, g) is isometric to a domain in ${\mathbb{R}^n}$ . In the proof, we make use of a foliation of the exterior of the ${\hat \Sigma_i}$ ’s in ${\mathbb{R}^n}$ by the ${\frac{H}{R}}$ -flow studied by Gerhardt (J Differ Geom 32:299–314, 1990) and Urbas (Math Z 205(3):355–372, 1990). We also carefully establish the rigidity statement in low dimensions without the spin assumption that was used in Shi and Tam (J Differ Geom 62:79–125, 2002).     

Weak theories of concatenation and minimal essentially undecidable theories

We consider weak theories of concatenation, that is, theories for strings or texts. We prove that the theory of concatenation \({\mathsf{WTC}^{-\varepsilon}}\) , which is a weak subtheory of Grzegorczyk’s theory \({\mathsf{TC}^{-\varepsilon}}\) , is a minimal essentially undecidable theory, that is, the theory \({\mathsf{WTC}^{-\varepsilon}}\) is essentially undecidable and if one omits an axiom scheme from \({\mathsf{WTC}^{-\varepsilon}}\) , then the resulting theory is no longer essentially undecidable. Moreover, we give a positive answer to Grzegorczyk and Zdanowski’s conjecture that ‘The theory \({\mathsf{TC}^{-\varepsilon}}\) is a minimal essentially undecidable theory’. For the alternative theories \({\mathsf{WTC}}\) and \({\mathsf{TC}}\) which have the empty string, we also prove that the each theory without the neutrality of \({\varepsilon}\) is to be such a theory too.     

On an effective order estimate of the Riemann zeta function in the critical strip

The well-known explicit estimation of the order of the Riemann zeta function $$\left| {\zeta (\sigma + it)} \right| \ll t^{c_1 (1 - \sigma )^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} } \ln ^{{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} t$$ for \(\tfrac{1}{2} \leqslant \sigma \leqslant 1\) andt≧2 (see [3]) is proved with the constantc ₁=21. The improvement of the constantc ₁ is a consequence of some technical modifications in application of the Vinogradov's inequality for exponential sums with the constant improved byPantelejeva in [1].     

Discretized likelihood methods—asymptotic properties of discretized likelihood estimators (DLE's)

Suppose thatX ₁,X ₂, ...,X _n , ... is a sequence of i.i.d. random variables with a densityf(x, θ). Letc _n be a maximum order of consistency. We consider a solution \(\hat \theta _n \) of the discretized likelihood equation $$\sum\limits_{i = 1}^n {\log f(X_i ,\hat \theta _n + rc_n^{ - 1} ) - } \sum\limits_{i = 1}^n {\log f(X_i ,\hat \theta _n ) = a_n (\hat \theta _n ,r)} $$ wherea _n (θ,r) is chosen so that \(\hat \theta _n \) is asymptotically median unbiased (AMU). Then the solution \(\hat \theta _n \) is called a discretized likelihood estimator (DLE). In this paper it is shown in comparison with DLE that a maximum likelihood estimator (MLE) is second order asymptotically efficient but not third order asymptotically efficient in the regular case. Further it is seen that the asymptotic efficiency (including higher order cases) may be systematically discussed by the discretized likelihood methods.     

On stable hypersurfaces with vanishing scalar curvature

We will prove that there are no stable complete hypersurfaces of $\mathbb {R}^4$ with zero scalar curvature, polynomial volume growth and such that $\frac{(-K)}{H^3}\ge c>0$ everywhere, for some constant $c>0$ , where K denotes the Gauss-Kronecker curvature and $H$ denotes the mean curvature of the immersion. Our second result is the Bernstein type one there is no entire graphs of $\mathbb {R}^4$ with zero scalar curvature such that $\frac{(-K)}{H^3}\ge c>0$ everywhere. At last, it will be proved that, if there exists a stable hypersurface with zero scalar curvature and $\frac{(-K)}{H^3}\ge c>0$ everywhere, that is, with volume growth larger than polynomial growth of order four, then its tubular neighborhood is not embedded for suitable radius.     

Seven Classes of Harmonic Diffeomorphisms

We deduce two necessary and sufficient conditions for a diffeomorphism $f : M \to \overline{M}$ of a Riemannian manifold (M,g) onto a Riemannian manifold $(\overline{M},\bar g)$ to be harmonic. Using the representation theory of groups, we define in an intrinsic way seven classes of such harmonic diffeomorphisms and partly describe the geometry of each class.     

The invertibility of the isoparametric mappings for triangular quadratic Lagrange finite elements

A reference triangular quadratic Lagrange finite element consists of a right triangle $\hat K$ with unit legs S ₁, S ₂, a local space $\hat L$ of quadratic polynomials on $\hat K$ and of parameters relating the values in the vertices and midpoints of sides of $\hat K$ to every function from $\hat L$ . Any isoparametric triangular quadratic Lagrange finite element is determined by an invertible isoparametric mapping ${F_h} = ({F_1},{F_2}) \in \hat L \times \hat L$ . We explicitly describe such invertible isoparametric mappings F _h for which the images F _h (S ₁), F _h (S ₂) of the segments S ₁, S ₂ are segments, too. In this way we extend the well-known result going back to W.B. Jordan, 1970, characterizing those invertible isoparametric mappings whose restrictions to the segments S ₁ and S ₂ are linear.     

Convergence of the Vallée-Poussin means for Fourier-Jacobi sums

Letf εC[?1, 1], ?1<α,β≤0, let $f \in C[ - 1, 1], - 1< \alpha , \beta \leqslant 0$ , letS _n ^{α, β} (f, x) be a partial Fourier-Jacobi sum of ordern, and let $$\nu _{m, n}^{\alpha , \beta } = \nu _{m, n}^{\alpha , \beta } (f) = \nu _{m, n}^{\alpha , \beta } (f,x) = \frac{1}{{n + 1}}[S_m^{\alpha ,\beta } (f,x) + ... + S_{m + n}^{\alpha ,\beta } (f,x)]$$ be the Vallée-Poussin means for Fourier-Jacobi sums. It was proved that if 0<a≤m/n≤b, then there exists a constantc=c(α, β, a, b) such that ‖ν _{m, n} ^{α, β} ‖ ≤c, where ‖ν _{m, n} ^{α, β} ‖ is the norm of the operator ν _{m, n} ^{α, β} inC[?1,1].     

A note onL p spaces of harmonic functions

The following result is proved: Letp>0,a>?1. Suppose thatG is a measurable subset ofB, the unit ball in ? ^N , for which there exists a positive constantA ₁, so that $$\int\limits_B {\left( {1 - \left| x \right|} \right)^a \left| {f(x)} \right|^p dm \leqslant A_1 } \int\limits_G {\left( {1 - \left| x \right|} \right)^a \left| {f(x)} \right|^p dm}$$ for each function that is harmonic inB and for which the left-hand side of the above inequality is finite. Then there is a positive constantA ₂ so that for each ballK with center on ?B, $$m\left( {K \cap B} \right) \leqslant A_2 m\left( {K \cap G} \right).$$ Herem denotes Lebesgue measure in ? ^N . This result answers a question left open byDan Luecking [2].     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

Harmonic divisors and rationality of zeros of Jacobi polynomials

Let $P_{n}^{ ( \alpha,\beta ) } ( x ) $ be the Jacobi polynomial of degree n with parameters α,β. The main result of the paper states the following: If b≠1,3 and c are non-zero relatively prime natural numbers then $P_{n}^{ ( k+ ( d-3 ) /2,k+ ( d-3 ) /2 ) } ( \sqrt{b/c} ) \neq0$ for all natural numbers d,n and $k\in\mathbb{N}_{0}$ . Moreover, under the above assumption, the polynomial $Q ( x ) = \frac{b}{c} ( x_{1}^{2}+\cdots+x_{d-1}^{2} ) + ( \frac{b}{c}-1 ) x_{d}^{2}$ is not a harmonic divisor, and the Dirichlet problem for the cone {Q(x)<0} has polynomial harmonic solutions for polynomial data functions.     

Critical points for functionals with quasilinear singular Euler–Lagrange equations

For a bounded, open subset Ω of ${\mathbb{R}^{N}}$ with N > 2, and a measurable function a(x) satisfying 0 < α ≤ a(x) ≤ β, a.e. ${x \in \Omega}$ , we study the existence of positive solutions of the Euler–Lagrange equation associated to the non-differentiable functional $$\begin{array}{ll}J(v) = \frac{1}{2} \int \limits_{\Omega} [a(x)+|v|^{\gamma}]| \nabla v|^{2}- \frac{1}{p} \int \limits_{\Omega}(v_{+})^p,\end{array}$$ if γ > 0 and p > 1. Special emphasis is placed on the case ${2^{*} < p < \frac{2^{*}}{2} ( \gamma +2 )}$ .     

Spectral cut-off regularizations for ill-posed linear models

This paper deals with recovering an unknown vector β from the noisy data Y = Xβ + σξ, where X is a known n × p matrix with n ≥ p and ξ is a standard white Gaussian noise. In order to estimate β, a spectral cut-off estimate \(\hat \beta ^{\bar m} (Y)\) with a data-driven cut-off frequency \(\bar m(Y)\) is used. The cut-off frequency is selected as a minimizer of the unbiased risk estimate of the mean square prediction error, i.e., \(\bar m = \arg \min _m \left\{ {\left\| {Y - X\hat \beta ^m \left( Y \right)} \right\|^2 + 2\sigma ^2 m} \right\}\) . Assuming that β belongs to an ellipsoid W, we derive upper bounds for the maximal risk \(\sup _{\beta \in \mathbb{W}} E\left\| {\hat \beta ^{\bar m} \left( Y \right) - \beta } \right\|^2\) and show that \(\hat \beta ^{\bar m} \left( Y \right)\) is a rate optimal minimax estimator overW.     

On the existence of Evans potentials

It is shown that, for every noncompact parabolic Riemannian manifold $X$ and every nonpolar compact $K$ in  $X$ , there exists a positive harmonic function on $X\setminus K$ which tends to $\infty $ at infinity. (This is trivial for $\mathbb{R }$ , easy for  $\mathbb{R }^2$ , and known for parabolic Riemann surfaces.) In fact, the statement is proven, more generally, for any noncompact connected Brelot harmonic space  $X$ , where constants are the only positive superharmonic functions and, for every nonpolar compact set  $K$ , there is a symmetric (positive) Green function for $X\setminus K$ . This includes the case of parabolic Riemannian manifolds. Without symmetry, however, the statement may fail. This is shown by an example, where the underlying space is a graph (the union of the parallel half-lines $\left[0,\infty \right)\times \{0\}, \left[0,\infty \right)\times \{1\}$ , and the line segments $\{n\}\times [0,1], n=0,1,2,\dots $ ).