Kirszbraun’s extension theorem fails for Almgren’s multiple valued functions

We prove that in general it is not possible to extend a Lipschitz multiple valued function without increasing the Lipschitz constant, i.e. we show that there is no analog of Kirszbraun’s extension theorem for Almgren’s multiple valued functions.     

Shcherbina’s theorem for finely holomorphic functions

We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets ${K\subset\mathbb{C}}We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets K ì \mathbbC{K\subset\mathbb{C}}. If the graph Γ _f (K) is pluripolar, then \frac?f?[`(z)]=0{\frac{\partial f}{\partial\bar z}=0} in the closure of the fine interior of K.     

A remark on Nesterenko’s theorem for Ramanujan functions

We study the algebraic independence of values of the Ramanujan q-series $A_{2j+1}(q)=\sum_{n=1}^{\infty}n^{2j+1}q^{2n}/(1-q^{2n})$ or S _2j+1(q) (j≥0). It is proved that, for any distinct positive integers i, j satisfying $(i,j)\not=(1,3)$ and for any $q\in \overline{ \mathbb{Q}}$ with 0<|q|<1, the numbers A ₁(q), A _2i+1(q), A _2j+1(q) are algebraically independent over $\overline{ \mathbb{Q}}$ . Furthermore, the q-series A _2i+1(q) and A _2j+1(q) are algebraically dependent over $\overline{ \mathbb{Q}}(q)$ if and only if (i,j)=(1,3).     

A new bound for an extension of Mason’s theorem for functions of several variables

In this paper, using the generalized Wronskian, we obtain a new sharp bound for the generalized Masons theorem [1] for functions of several variables. We also show that the Diophantine equation (The generalized Fermat-Catalan equation) where , such that k out of the n-polynomials are constant, and under certain conditions for has no non-constant solution. Received: 20 March 2003     

Uniqueness and stability result for Cauchy’s equation of motion for a certain class of hyperelastic materials

We consider Cauchy’s equation of motion for hyperelastic materials. The solution of this nonlinear initial-boundary value problem is the vector field which discribes the displacement which a particle of this material perceives when exposed to stress and external forces. This equation is of greatest relevance when investigating the behavior of elastic, anisotropic composites and for the detection of defects in such materials from boundary measurements. This is why results on unique solvability and continuous dependence from the initial values are of large interest in materials’ research and structural health monitoring. In this article we present such a result, provided that reasonable smoothness assumptions for the displacement field and the boundary of the domain are satisfied for a certain class of hyperelastic materials where the first Piola–Kirchhoff tensor is written as a conic combination of finitely many, given tensors.     

New proof of a Calabi’s theorem

A Calabi’s theorem says that on a compact Riemann surface, an extremal metric is a constant scalar curvature metric. In this paper, we use a new method to prove this theorem. Then we give an interesting corollary.     

An analog of Rudin’s theorem for continuous radial positive definite functions of several variables

Let Open image in new window be the class of radial real-valued functions of m variables with support in the unit ball \(\mathbb{B}\) of the space ? ^m that are continuous on the whole space ? ^m and have a nonnegative Fourier transform. For m ≥ 3, it is proved that a function f from the class Open image in new window can be presented as the sum \(\sum {f_k \tilde *f_k } \) of at most countably many self-convolutions of real-valued functions f _k with support in the ball of radius 1/2. This result generalizes the theorem proved by Rudin under the assumptions that the function f is infinitely differentiable and the functions f _k are complex-valued.     

Schur’s theorem for a block Hadamard product

We define a generalized Kronecker product for block matrices, mention some of its properties, and apply it to the study of a block Hadamard product of positive semidefinite matrices, which was defined by Horn, Mathias, and Nakamura. Under strong commutation assumptions we obtain generalizations of Schur’s theorem and of Oppenheim’s inequality.     

Generalizations of Arnold’s version of Euler’s theorem for matrices

A recent result, conjectured by Arnold and proved by Zarelua, states that for a prime number p, a positive integer k, and a square matrix A with integral entries one has ${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k})${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k}). We give a short proof of a more general result, which states that if the characteristic polynomials of two integral matrices A,  B are congruent modulo p ^k then the characteristic polynomials of A ^p and B ^p are congruent modulo p ^k+1, and then we show that Arnold’s conjecture follows from it easily. Using this result, we prove the following generalization of Euler’s theorem for any 2 × 2 integral matrix A: the characteristic polynomials of A ^Φ(n) and A ^Φ(n)-ϕ(n) are congruent modulo n. Here ϕ is the Euler function, ?_i=1^l p_i^a_i\prod_{i=1}^{l} p_i^{\alpha_i} is a prime factorization of n and $\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2$\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2.     

Generalizations of Young’s Theorem to real functions of several variables

In 1907 W. H. Young classified the real-valued Baire one functions on the line which have the Darboux (intermediate-value) property as those which are bilaterally approachable. Here we investigate generalizations of this theorem to the setting of real-valued Baire one functions of several variables which possess various “Darboux-like” properties.      

Hille’s non-oscillation theorem and the decay of solutions to a class of semi-linear PDE’s

With a change of perspective in Hille’s paper on oscillation [Trans. Amer. Math. Soc. 64 (1948), 234–252], we provide optimal integral conditions for an application of the method of sub-solutions and super-solutions to investigating the existence of solutions for the semi-linear elliptic equation in the euclidean space , n ≥ 3, that decay to zero as . Received: 26 October 2006     

A pure smoothness condition for radó’s theorem for α-analytic functions

Let \(\Omega \subset {{\Bbb C}^n}\) be a bounded, simply connected ?-convex domain. Let α ∈ ?₊ⁿ and let f be a function on Ω which is separately \({C^{2{\alpha _j} - 1}}\)-smooth with respect to z_j (by which we mean jointly \({C^{2{\alpha _j} - 1}}\)-smooth with respect to Rez_j, Imz_j). If f is α-analytic on Ω\f^?1(0), then f is α-analytic on Ω. The result is well-known for the case α_i = 1, 1 ? i ? n, even when f a priori is only known to be continuous.     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Henriksen?s contributions to residue class rings of analytic and entire functions

The author surveys, summarizes and generalizes results of Golasiński and Henriksen, and of others, concerning certain residue class rings.Let A(R) denote the ring of analytic functions over reals R and E(K) the ring of entire functions over R or complex numbers C. It is shown that if m is a maximal ideal of A(R), then A(R)/m is isomorphic either to the reals or a real-closed field that is η₁-set, while if m is a maximal ideal of E(K), then E(K)/m is isomorphic to one of these latter two fields or to complex numbers.     

Hardy’s theorem for zeta-functions of quadratic forms

LetQ(u ₁,…,u ₁) =Σd _ij u _i u _j (i,j = 1 tol) be a positive definite quadratic form inl(≥3) variables with integer coefficientsd _ij (=d _ji ). Puts=σ+it and for σ>(l/2) write $$Z_Q (s) = \Sigma '(Q(u_1 ,...,u_l ))^{ - s} ,$$ where the accent indicates that the sum is over alll-tuples of integer (u ₁,…,u _l ) with the exception of (0,…, 0). It is well-known that this series converges for σ>(l/2) and that (s-(l/2))Z _Q (s) can be continued to an entire function ofs. Let σ be any constant with 0<σ<1/100. Then it is proved thatZ _Q (s)has ?_δTlogT zeros in the rectangle(|σ-1/2|≤δ, T≤t≤2T).