Constructing convex solutions via Perron’s method

Abstract In this paper we construct convex solutions for certain elliptic boundary value problems via Perron’s method. The solutions constructed are weak solutions in the viscosity sense, and our construction follows work of Ishii (Duke Math. J., 55 (2) 369–384, 1987). The same general approach appears in work of Andrews and Feldman (J. Differential Equations, 182 (2) 298–343, 2002) in which they show existence for a weak nonlocal parabolic flow of convex curves. The time independent special case of their work leads to a one dimensional elliptic result which we extend to two dimensions. Similar results are required to extend their theory of nonlocal geometric flows to surfaces. The two dimensional case is essentially different from the one dimensional case and involves a regularity result (cf. Theorem 3.1), which has independent interest. Roughly speaking, given an arbitrary convex function (which is not smooth) supported at one point by a smooth function of prescribed Hessian (which is not convex), one must construct a third function that is both convex and smooth and appropriately approximates both of the given functions. Keywords: Viscosity solutions, Elliptic partial differential equations, Perron procedure, Convexity, Regularity, Fully nonlinear, Monge-Ampere Mathematics Subject Classification (2000:) 35J60, 53A05, 52A15, 26B05     

On Legendre curves in contact 3-manifolds

It is first observed that on a 3-dimensional Sasakian manifold the torsion of a Legendre curve is identically equal to +1. It is then shown that, conversely, if a curve on a Sasakian 3-manifold has constant torsion +1 and satisfies the initial conditions at one point for a Legendre curve, it is a Legendre curve. Furthermore, among contact metric structures, this property is characteristic of Sasakian metrics. For the standard contact structure onR ³ with its standard Sasakian metric the curvature of a Legendre curve is shown to be twice the curvature of its projection to thexy-plane with respect to the Euclidean metric. Thus this metric onR ³ is more natural for the study of Legendre curves than the Euclidean metric.This work was done while the first author was a visiting scholar at Michigan State University.     

On the Mehler-Fock Transform in Lp-Space

The present paper is devoted to study the transform by the index of the Legendre function which is known as the Mehler-Fock transform. Mapping properties of the Mehler-Fodr transform in the weighted space L_p(ω(t); IR₊) are given as the inversion formula. The image space is also characterized.     

Hypergeometric functions and elliptic curves

We provide uniform formulas for the real period and the trace of Frobenius associated to an elliptic curve in Legendre normal form. These are expressed in terms of classical and Gaussian hypergeometric functions, respectively. 2000 Mathematics Subject Classification Primary—11G05, 33C05 This research was supported by K. Ono’s NSF grant     

Numerical Taylor expansions for invariant manifolds

Summary. We consider numerical computation of Taylor expansions of invariant manifolds around equilibria of maps and flows. These expansions are obtained by writing the corresponding functional equation in a number of points, setting up a nonlinear system of equations and solving this system using a simplified Newtons method. This approach will avoid symbolic or explicit numerical differentiation. The linear algebra issues of solving the resulting Sylvester equations are studied in detail.Mathematics Subject Classification (1991): 65Q05, 65P, 37M, 65P30, 65F20, 15A69Dedicated to Gerhard Wanner on the occasion of his 60th birthdayAcknowledgments. The authors like to thank Olavi Nevanlinna for discussions and his suggestion to use complex evaluation points.     

Differential analysis of polarity: Polar Hamilton-Jacobi,conservation laws,and Monge Ampère equations

We develop a differential theory for the polarity transform parallel to that of the Legendre transform, which is applicable when the functions studied are “geometric convex”, namely, convex, non-negative, and vanish at the origin. This analysis establishes basic tools for dealing with this duality transform, such as the polar subdifferential map, and variational formulas. Another crucial step is identifying a new, non-trivial, sub-class of C ² functions preserved under this transform. This analysis leads to a new method for solving many new first order equations reminiscent of Hamilton–Jacobi and conservation law equations, as well as some second order equations of Monge–Ampère type. This article develops the theory of strong solutions for these equations which, due to the nonlinear nature of the polarity transform, is considerably more delicate than its counterparts involving the Legendre transform. As one application, we introduce a polar form of the homogeneous Monge–Ampère equation that gives a dynamical meaning to a new method of interpolating between convex functions and bodies. A number of other applications, e.g., to optimal transport and affine differential geometry are considered in sequels.     

On the number of primitive representations of integers as sums of squares

Formulas for the number of primitive representations of any integer n as a sum of k squares are given, for 2 ≤ k ≤ 8, and for certain values of n, for 9 ≤ k ≤ 12. The formulas have a similar structure and are striking for their simplicity. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—11E25; Secondary—05A15, 33E05.     

The explicit solutions to the nonlinear Dirac equation and Dirac-Klein-Gordon equation

Abstract In [3] Dias and Figueira have reported that the square of the solution for the nonlinear Dirac equation satisfies the linear wave equation in one space dimension. So the aim of this paper is to proceed with their work and to clarify a structure of the nonlinear Dirac equation. The explicit solutions to the nonlinear Dirac equation and Dirac-Klein-Gordon equation are obtained. Keywords: Nonlinear Dirac equation, Dirac-Klein-Gordon equation, Pauli matrix Mathematics Subject Classification (2000): 35C05, 35L45     

New Identities for Hall-Littlewood Polynomials and Applications

Starting from Macdonald's summation formula of Hall-Littlewood polynomials over bounded partitions and its even partition analogue, Stembridge (Trans. Amer. Math. Soc., 319(2), (1990) 469–498) derived sixteen multiple q-identities of Rogers–Ramanujan type. Inspired by our recent results on Schur functions (Adv. Appl. Math., 27, (2001) 493–509) and based on computer experiments we obtain two further such summation formulae of Hall-Littlewood polynomials over bounded partitions and derive six new multiple q-identities of Rogers–Ramanujan type. 2000 Mathematics Subject Classification: Primary–05A19; Secondary–05A17, 05A30     

Time-periodic Poiseuille flow in a pipe for some classes of fluids

Abstract  We consider a fully developed time-periodic pipe flow (Poiseuille flow) for some classes of fluids (micropolar fluids, mixtures of fluids). Such physical cases lead to a parabolic system in which the pressure gradient Γ is a time-periodic function with either only one non vanishing component or the components proportional to a single time-periodic function Γ. For such situations we generalize the results of [7] concerning the Newtonian case. Keywords: Flow in a pipe, Time-periodic Poiseuille flow, Micropolar fluids, Mixtures of fluids Mathematics Subject Classification (2000): 76D03, 76A05, 76T05, 35Q30 An erratum to this article is available at .     

Quadrature methods for highly oscillatory linear and nonlinear systems of ordinary differential equations: part I

This work presents methods of efficient numerical approximation for linear and nonlinear systems of highly oscillatory ordinary differential equations. We show how an appropriate choice of quadrature rule improves the accuracy of approximation as the frequency of oscillation grows. We present asymptotic and Filon-type methods to solve highly oscillatory linear systems of ODEs, and WRF method, representing a special combination of Filon-type methods and waveform relaxation methods, for nonlinear systems. Numerical examples support this paper. Dedicated to the memory of Rudolf Khanamiryan. AMS subject classification (2000)  65L05, 34E05, 34C15     

Local behavior of an iterative framework for generalized equations with nonisolated solutions

 An iterative framework for solving generalized equations with nonisolated solutions is presented. For generalized equations with the structure , where is a multifunction and F is single-valued, the framework covers methods that, at each step, solve subproblems of the type . The multifunction approximates F around s. Besides a condition on the quality of this approximation, two other basic assumptions are employed to show Q-superlinear or Q-quadratic convergence of the iterates to a solution. A key assumption is the upper Lipschitz-continuity of the solution set map of the perturbed generalized equation . Moreover, the solvability of the subproblems is required. Conditions that ensure these assumptions are discussed in general and by means of several applications. They include monotone mixed complementarity problems, Karush-Kuhn-Tucker systems arising from nonlinear programs, and nonlinear equations. Particular results deal with error bounds and upper Lipschitz-continuity properties for these problems. Received: November 2001 / Accepted: November 2002 Published online: December 9, 2002 Key Words. generalized equation – nonisolated solutions – Newton's method – superlinear convergence – upper Lipschitz-continuity – mixed complementarity problem – error bounds Mathematics Subject Classification (1991): 90C30, 65K05, 90C31, 90C33     

Modified Legendre–Gauss–Radau Collocation Method for Optimal Control Problems with Nonsmooth Solutions

A new method is developed for solving optimal control problems whose solutions are nonsmooth. The method developed in this paper employs a modified form of the Legendre–Gauss–Radau orthogonal direct collocation method. This modified Legendre–Gauss–Radau method adds two variables and two constraints at the end of a mesh interval when compared with a previously developed standard Legendre–Gauss–Radau collocation method. The two additional variables are the time at the interface between two mesh intervals and the control at the end of each mesh interval. The two additional constraints are a collocation condition for those differential equations that depend upon the control and an inequality constraint on the control at the endpoint of each mesh interval. The additional constraints modify the search space of the nonlinear programming problem such that an accurate approximation to the location of the nonsmoothness is obtained. The transformed adjoint system of the modified Legendre–Gauss–Radau method is then developed. Using this transformed adjoint system, a method is developed to transform the Lagrange multipliers of the nonlinear programming problem to the costate of the optimal control problem. Furthermore, it is shown that the costate estimate satisfies one of the Weierstrass–Erdmann optimality conditions. Finally, the method developed in this paper is demonstrated on an example whose solution is nonsmooth.

     

Subtractive Categories

We introduce a notion of a subtractive category. It generalizes the notion of a pointed subtractive variety of universal algebras in the sense of A. Ursini. Subtractive categories are closely related to Mal’tsev and additive categories: (i) a category C with finite limits is a Mal’tsev category if and only if for every object X in C the category Pt(X)=((X,1_X)↓(C↓X)) of “points over X” is subtractive; (ii) a pointed category C with finite limits is additive if and only if C is subtractive and half-additive.Mathematics Subject Classifications (2000) 18C99, 18E05, 08B05.     

Determination of a control function in three‐dimensional parabolic equations by Legendre pseudospectral method

A Legendre pseudospectral method is proposed for solving approximately an inverse problem of determining an unknown control parameter p(t) which is the coefficient of the solution u(x, y, z, t) in a diffusion equation in a three‐dimensional region. The diffusion equation is to be solved subject to suitably prescribed initial‐boundary conditions. The presence of the unknown coefficient p(t) requires an extra condition. This extra condition considered as the integral overspecification over the spacial domain. For discretizing the problem, after homogenization of the boundary conditions, we apply the Legendre pseudospectral method in a matrix based manner. As a results a system of nonlinear differential algebraic equations is generated. Then by using suitable transformation, the problem will be converted to a homogeneous time varying system of linear ordinary differential equations. Also a pseudospectral method for efficient solving of the resulted system of ordinary differential equations is proposed. The solution of this system gives the approximation to values of u and p. The matrix based structure of the present method makes it easy to implement. Numerical experiments are presented to demonstrate the accuracy and the efficiency of the proposed computational procedure. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 74‐93, 2012     

Some curious q-series expansions and beta integral evaluations

We deduce several curious q-series expansions by applying inverse relations to certain identities for basic hypergeometric series. After rewriting some of these expansions in terms of q-integrals, we obtain, in the limit q→ 1, some curious beta-type integral evaluations which appear to be new. Dedicated to Dick Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—15A09, 33D15, 33E20; Secondary—05A30 M. Schlosser was fully supported by an APART fellowship of the Austrian Academy of Sciences.     

THE KRALL POLYNOMIALS: A NEW CLASS OF ORTHOGONAL POLYNOMIALS

Abstract

A new set of orthogonal polynomials is found that are solutions to a sixth order formally self adjoint differential equation. These polynomials are shown to generalize the Legendre and Legendre type polynomials. We also show that these polynomials satisfy many properties shared by the classical orthogonal polynomials of Jacobi, Laguerre and Hermite.     

On stationary thermo-rheological viscous flows

Abstract We study the system of equations describing a stationary thermoconvective flow of a non-Newtonian fluid. We assume that the stress tensor S has the form where u is the vector velocity, P is the pressure, θ is the temperature and μ ,p and τ are the given coefficients depending on the temperature. D and I are respectively the rate of strain tensor and the unit tensor. We prove the existence of a weak solution under general assumptions and the uniqueness under smallness conditions. Keywords: Non-Newtonian fluids, Nonlinear thermal diffusion equations, Heat and mass transfer Mathematics Subject Classification (2000): 76A05, 76D07, 76E30, 35G15