The Perron method for p-harmonic functions in metric spaces

We use the Perron method to construct and study solutions of the Dirichlet problem for p-harmonic functions in proper metric measure spaces endowed with a doubling Borel measure supporting a weak (1,q)-Poincaré inequality (for some 1?q<p). The upper and lower Perron solutions are constructed for functions defined on the boundary of a bounded domain and it is shown that these solutions are p-harmonic in the domain. It is also shown that Newtonian (Sobolev) functions and continuous functions are resolutive, i.e. that their upper and lower Perron solutions coincide, and that their Perron solutions are invariant under perturbations of the function on a set of capacity zero. We further study the problem of resolutivity and invariance under perturbations for semicontinuous functions. We also characterize removable sets for bounded p-(super)harmonic functions.     

Strongly convex functions of higher order

The notion of strongly n-convex functions with modulus c>0 is introduced and investigated. Relationships between such functions and n-convex functions in the sense of Popoviciu as well as generalized convex functions in the sense of Beckenbach are given. Characterizations by derivatives are presented. Some results on strongly Jensen n-convex functions are also given.     

Modular relations for the nonic analogues of the Rogers-Ramanujan functions with applications to partitions

We define the nonic Rogers-Ramanujan-type functions D(q), E(q) and F(q) and establish several modular relations involving these functions, which are analogous to Ramanujan's well known forty identities for the Rogers-Ramanujan functions. We also extract partition theoretic results from some of these relations.     

Approximation on Nash sets with monomial singularities

This paper is devoted to the approximation of differentiable semialgebraic functions by Nash functions. Approximation by Nash functions is known for semialgebraic functions defined on an affine Nash manifold M, and here we extend it to functions defined on Nash sets  X⊂M$X\subset M$whose singularities are monomial. To that end we discuss first finiteness and weak normality for such sets X. Namely, we prove that (i) X is the union of finitely many open subsets, each Nash diffeomorphic to a finite union of coordinate linear varieties of an affine space, and (ii) every function on X which is Nash on every irreducible component of X extends to a Nash function on M. Then we can obtain approximation for semialgebraic functions and even for certain semialgebraic maps on Nash sets with monomial singularities. As a nice consequence we show that m-dimensional affine Nash manifolds with divisorial corners which are class k   semialgebraically diffeomorphic, for k>m²$k>m^2$, are also Nash diffeomorphic.     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

Zeros of entire functions and a problem of Ramanujan

We derive representations for certain entire q-functions and apply our technique to the Ramanujan entire function (or q-Airy function) and q-Bessel functions. This is used to show that the asymptotic series of the large zeros of the Ramanujan entire function and similar functions are also convergent series. The idea is to show that the zeros of the functions under consideration satisfy a nonlinear integral equation.     

Optimum two level fractional factorial plans for model identification and discrimination

Model identification and discrimination are two major statistical challenges. In this paper we consider a set of models M_k for factorial experiments with the parameters representing the general mean, main effects, and only k out of all two-factor interactions. We consider the class D of all fractional factorial plans with the same number of runs having the ability to identify all the models in M_k, i.e., the full estimation capacity.The fractional factorial plans in D with the full estimation capacity for k?2 are able to discriminate between models in M_u for u?k^*, where k^*=(k/2) when k is even, k^*=((k-1)/2) when k is odd. We obtain fractional factorial plans in D satisfying the six optimality criterion functions AD, AT, AMCR, GD, GT, and GMCR for 2^m factorial experiments when m=4 and 5. Both single stage and multi-stage (hierarchical) designs are given. Some results on estimation capacity of a fractional factorial plan for identifying models in M_k are also given. Our designs D4.1 and D10 stand out in their performances relative to the designs given in Li and Nachtsheim [Model-robust factorial designs, Technometrics 42(4) (2000) 345-352.] for m=4 and 5 with respect to the criterion functions AD, AT, AMCR, GD, GT, and GMCR. Our design D4.2 stands out in its performance relative the Li-Nachtsheim design for m=4 with respect to the four criterion functions AT, AMCR, GT, and GMCR. However, the Li-Nachtsheim design for m=4 stands out in its performance relative to our design D4.2 with respect to the criterion functions AD and GD. Our design D14 does have the full estimation capacity for k=5 but the twelve run Li-Nachtsheim design does not have the full estimation capacity for k=5.     

Monodromy eigenvalues and zeta functions with differential forms

For a complex polynomial or analytic function f, there is a strong correspondence between poles of the so-called local zeta functions or complex powers ∫|f|^2sω, where the ω are C^∞ differential forms with compact support, and eigenvalues of the local monodromy of f. In particular Barlet showed that each monodromy eigenvalue of f is of the form , where s₀ is such a pole. We prove an analogous result for similar p-adic complex powers, called Igusa (local) zeta functions, but mainly for the related algebro-geometric topological and motivic zeta functions.     

Positive solutions of quasilinear parabolic systems with Dirichlet boundary condition

Coupled systems for a class of quasilinear parabolic equations and the corresponding elliptic systems, including systems of parabolic and ordinary differential equations are investigated. The aim of this paper is to show the existence, uniqueness, and asymptotic behavior of time-dependent solutions. Also investigated is the existence of positive maximal and minimal solutions of the corresponding quasilinear elliptic system. The elliptic operators in both systems are allowed to be degenerate in the sense that the density-dependent diffusion coefficients Di(ui) may have the property Di(0)=0 for some or all i=1,…,N, and the boundary condition is ui=0. Using the method of upper and lower solutions, we show that a unique global classical time-dependent solution exists and converges to the maximal solution for one class of initial functions and it converges to the minimal solution for another class of initial functions; and if the maximal and minimal solutions coincide then the steady-state solution is unique and the time-dependent solution converges to the unique solution. Applications of these results are given to three model problems, including a scalar polynomial growth problem, a coupled system of polynomial growth problem, and a two component competition model in ecology.     

Elliptic systems with measurable coefficients of the type of Lamé system in three dimensions

We study the 3×3 elliptic systems ∇(a(x)∇×u)−∇(b(x)∇⋅u)=f, where the coefficients a(x) and b(x) are positive scalar functions that are measurable and bounded away from zero and infinity. We prove that weak solutions of the above system are Hölder continuous under some minimal conditions on the inhomogeneous term f. We also present some applications and discuss several related topics including estimates of the Green?s functions and the heat kernels of the above systems.     

q-Hardy-Berndt type sums associated with q-Genocchi type zeta and q-l-functions

The aim of this paper is to define new generating functions. By applying a derivative operator and the Mellin transformation to these generating functions, we define q-analogue of the Genocchi zeta function, q-analogue Hurwitz type Genocchi zeta function, and q-Genocchi type l-function. We define partial zeta function. By using this function, we construct p-adic interpolation functions which interpolate generalized q-Genocchi numbers at negative integers. We also define p-adic meromorphic functions on C_p. Furthermore, we construct new generating functions of q-Hardy-Berndt type sums and q-Hardy-Berndt type sums attached to Dirichlet character. We also give some new relations, related to these sums.     

Range universal spaces

We characterize those topological spaces Y for which the Isbell and finest splitting topologies on the set C(X,Y) of all continuous functions from X into Y coincide for all topological spaces X. We also consider the same question for the coincidence of the restriction of the finest splitting topology on the upper semicontinuous set-valued functions to C(X,Y) and the finest splitting topology on C(X,Y). In the first case, the spaces in question are, after identifying points that are in each others closures, subsets of the two point Sierpiński space, which gives a converse and generalization of a result of S. Dolecki, G.H. Greco, and A. Lechicki. In the second case, the spaces in question are, after identifying points that are in each others closures, order bases for bounded complete continuous DCPOs with the Scott topology.     

Commutative presemifields and semifields

Strong conditions are derived for when two commutative presemifields are isotopic. It is then shown that any commutative presemifield of odd order can be described by a planar Dembowski-Ostrom polynomial and conversely, any planar Dembowski-Ostrom polynomial describes a commutative presemifield of odd order. These results allow a classification of all planar functions which describe presemifields isotopic to a finite field and of all planar functions which describe presemifields isotopic to Albert's commutative twisted fields. A classification of all planar Dembowski-Ostrom polynomials over any finite field of order p³, p an odd prime, is therefore obtained. The general theory developed in the article is then used to show the class of planar polynomials X¹⁰+aX⁶−a²X² with a≠0 describes precisely two new commutative presemifields of order e³ for each odd e?5.     

Differential recursion relations for Laguerre functions on symmetric cones

Let Ω be a symmetric cone and V the corresponding simple Euclidean Jordan algebra. In our previous papers (some with G. Zhang) we considered the family of generalized Laguerre functions on Ω that generalize the classical Laguerre functions on R⁺. This family forms an orthogonal basis for the subspace of L-invariant functions in L²(Ω,dμν), where dμν is a certain measure on the cone and where L is the group of linear transformations on V that leave the cone Ω invariant and fix the identity in Ω. The space L²(Ω,dμν) supports a highest weight representation of the group G of holomorphic diffeomorphisms that act on the tube domain T(Ω)=Ω+iV. In this article we give an explicit formula for the action of the Lie algebra of G and via this action determine second order differential operators which give differential recursion relations for the generalized Laguerre functions generalizing the classical creation, preservation, and annihilation relations for the Laguerre functions on R⁺.     

p-q-convergence of sequences of measurable functions

We introduce new types of convergence of sequences of measurable functions stronger than convergence in measure for each pair of positive real numbers p, q and we obtain a classification of convergences in measure. Also in the space M of sequences of measurable functions converging in measure to zero, we introduce in a natural way an equivalence relation ∼, and in the quotient space M=M/∼ a metric, under which M turns to be a complete metric space.     

Green function estimates for relativistic stable processes in half-space-like open sets

In this paper, we establish sharp two-sided estimates for the Green functions of relativistic stable processes (i.e. Green functions for non-local operators m−(m^2/α−Δ)^α/2) in half-space-like C^1,1 open sets. The estimates are uniform in m∈(0,M] for each fixed M∈(0,∞). When m↓0, our estimates reduce to the sharp Green function estimates for −(−Δ)^α/2 in such kind of open sets that were obtained recently in Chen and Tokle [12]. As a tool for proving our Green function estimates, we show that a boundary Harnack principle for X^m, which is uniform for all m∈(0,∞), holds for a large class of non-smooth open sets.     

Differential operator specializations of noncommutative symmetric functions

Let K be any unital commutative Q-algebra and z=(z₁,…,zn) commutative or noncommutative free variables. Let t be a formal parameter which commutes with z and elements of K. We denote uniformly by K《z》 and K?t?《z》 the formal power series algebras of z over K and K?t?, respectively. For any α?1, let D[α]《z》 be the unital algebra generated by the differential operators of K《z》 which increase the degree in z by at least α−1 and the group of automorphisms Ft(z)=z−Ht(z) of K?t?《z》 with o(Ht(z))?α and Ht=0(z)=0. First, for any fixed α?1 and , we introduce five sequences of differential operators of K《z》 and show that their generating functions form an NCS (noncommutative symmetric) system [W. Zhao, Noncommutative symmetric systems over associative algebras, J. Pure Appl. Algebra 210 (2) (2007) 363-382] over the differential algebra D[α]《z》. Consequently, by the universal property of the NCS system formed by the generating functions of certain NCSFs (noncommutative symmetric functions) first introduced in [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348, MR1327096; see also hep-th/9407124], we obtain a family of Hopf algebra homomorphisms , which are also grading-preserving when Ft satisfies certain conditions. Note that the homomorphisms SFt above can also be viewed as specializations of NCSFs by the differential operators of K《z》. Secondly, we show that, in both commutative and noncommutative cases, this family SFt (with all n?1 and ) of differential operator specializations can distinguish any two different NCSFs. Some connections of the results above with the quasi-symmetric functions [I. Gessel, Multipartite P-partitions and inner products of skew Schur functions, in: Contemp. Math., vol. 34, 1984, pp. 289-301, MR0777705; C. Malvenuto, C. Reutenauer, Duality between quasi-symmetric functions and the Solomon descent algebra, J. Algebra 177 (3) (1995) 967-982, MR1358493; Richard P. Stanley, Enumerative Combinatorics II, Cambridge University Press, 1999] are also discussed.     

The parametrized family of metric Mahler measures

Let M(α) denote the (logarithmic) Mahler measure of the algebraic number α. Dubickas and Smyth, and later Fili and the author, examined metric versions of M. The author generalized these constructions in order to associate, to each point in t∈(0,∞], a metric version Mt of the Mahler measure, each having a triangle inequality of a different strength. We further examine the functions Mt, using them to present an equivalent form of Lehmer?s conjecture. We show that the function t?Mtt(α) is constructed piecewise from certain sums of exponential functions. We pose a conjecture that, if true, enables us to graph t?Mt(α) for rational α.     

Existence, non-existence and asymptotic behavior of global solutions to the Cauchy problem for systems of semilinear hyperbolic equations with damping terms

We consider the Cauchy problem for systems of semilinear hyperbolic equations. Using the L_p→L_q type estimation for the corresponding linear parts, the existence and uniqueness of weak global solutions are investigated. We also established the behavior of solutions and their derivatives as t→+∞. Using the method of test functions developed in the works (Mitidieri and Pokhozhaev, 2001 [11], Veron and Pohozaev, 2001 [12] and Caristi, 2000 [23]) we obtain the analogue of the Fujita-Hayakawa type criterion for the absence of global solutions to some system of semilinear hyperbolic inequalities with damping. It follows that the conditions of existence theorem imposed on the growth of nonlinear parts are exact in some sense.     

Nonuniform thickness and weighted distance

Nonuniform tubular neighborhoods of curves in Rn are studied by using weighted distance functions and generalizing the normal exponential map. Different notions of injectivity radii are introduced to investigate singular but injective exponential maps. A generalization of the thickness formula is obtained for nonuniform thickness. All singularities within almost injectivity radius are classified by the Horizontal Collapsing Property. Examples are provided to show the distinction between the different types of injectivity radii, as well as showing that the standard differentiable injectivity radius fails to be upper semicontinuous on a singular set of weight functions.