Existence of periodic solutions in predator–prey and competition dynamic systems

In this paper, we systematically explore the periodicity of some dynamic equations on time scales, which incorporate as special cases many population models (e.g., predator–prey systems and competition systems) in mathematical biology governed by differential equations and difference equations. Easily verifiable sufficient criteria are established for the existence of periodic solutions of such dynamic equations, which generalize many known results for continuous and discrete population models when the time scale is chosen as or , respectively. The main approach is based on a continuation theorem in coincidence degree theory, which has been extensively applied in studying existence problems in differential equations and difference equations but rarely applied in dynamic equations on time scales. This study shows that it is unnecessary to explore the existence of periodic solutions of continuous and discrete population models in separate ways. One can unify such studies in the sense of dynamic equations on general time scales.     

Limits of discrete series with infinitesimal character zero

For a connected linear semisimple Lie group , this paper considers those nonzero limits of discrete series representations having infinitesimal character 0, calling them totally degenerate. Such representations exist if and only if has a compact Cartan subgroup, is quasisplit, and is acceptable in the sense of Harish-Chandra.

Totally degenerate limits of discrete series are natural objects of study in the theory of automorphic forms: in fact, those automorphic representations of adelic groups that have totally degenerate limits of discrete series as archimedean components correspond conjecturally to complex continuous representations of Galois groups of number fields. The automorphic representations in question have important arithmetic significance, but very little has been proved up to now toward establishing this part of the Langlands conjectures.

There is some hope of making progress in this area, and for that one needs to know in detail the representations of under consideration. The aim of this paper is to determine the classification parameters of all totally degenerate limits of discrete series in the Knapp-Zuckerman classification of irreducible tempered representations, i.e., to express these representations as induced representations with nondegenerate data.

The paper uses a general argument, based on the finite abelian reducibility group attached to a specific unitary principal series representation of . First an easy result gives the aggregate of the classification parameters. Then a harder result uses the easy result to match the classification parameters with the representations of under consideration in representation-by-representation fashion. The paper includes tables of the classification parameters for all such groups .

     

Positive solutions for boundary value problems of nonlinear fractional differential equation

In this paper, we deal with the following nonlinear fractional boundary value problem

where is the standard Riemann–Liouville fractional derivative. By means of lower and upper solution method and fixed-point theorems, some results on the existence of positive solutions are obtained for the above fractional boundary value problems.     

Low-pass filters and representations of the Baumslag Solitar group

We analyze representations of the Baumslag Solitar group

that admit wavelets and show how such representations can be constructed from a given low-pass filter. We describe the direct integral decomposition for some examples and derive from it a general criterion for the existence of solutions for scaling equations. As another application, we construct a Fourier transform for some Hausdorff measures.

     

Applications of Langlands' functorial lift of odd orthogonal groups

Together with Cogdell, Piatetski-Shapiro and Shahidi, we proved earlier the existence of a weak functorial lift of a generic cuspidal representation of to . Recently, Ginzburg, Rallis and Soudry obtained a more precise form of the lift using their integral representation technique, namely, the lift is an isobaric sum of cuspidal representations of (more precisely, cuspidal representations of such that the exterior square -functions have a pole at ). One purpose of this paper is to give a simpler proof of this fact in the case that a cuspidal representation has one supercuspidal component. In a separate paper, we prove it without any condition using a result on spherical unitary dual due to Barbasch and Moy. We give several applications of the functorial lift: First, we parametrize square integrable representations with generic supercuspidal support, which have been classified by Moeglin and Tadic. Second, we give a criterion for cuspidal reducibility of supercuspidal representations of . Third, we obtain a functorial lift from generic cuspidal representations of to automorphic representations of , corresponding to the -group homomorphism , given by the second fundamental weight.

     

Positive solutions of three-point boundary value problems for systems of nonlinear second order ordinary differential equations

In this paper, we study the three-point boundary value problems for systems of nonlinear second order ordinary differential equations of the form

Under some conditions, we show the existence and multiplicity of positive solutions of the above problem by applying the fixed point index theory in cones.     

On nonoscillating integrals for computing inhomogeneous Airy functions

Integral representations are considered of solutions of the inhomogeneous Airy differential equation . The solutions of these equations are also known as Scorer functions. Certain functional relations for these functions are used to confine the discussion to one function and to a certain sector in the complex plane. By using steepest descent methods from asymptotics, the standard integral representations of the Scorer functions are modified in order to obtain nonoscillating integrals for complex values of . In this way stable representations for numerical evaluations of the functions are obtained. The methods are illustrated with numerical results.

     

Global existence and blow-up of solutions for a system of nonlinear viscoelastic wave equations with damping and source

In this paper we investigate the global existence and finite time blow-up of solutions to the system of nonlinear viscoelastic wave equations

in Ω×(0,T) with initial and Dirichlet boundary conditions, where Ω is a bounded domain in . Under suitable assumptions on the functions g_i(), , the initial data and the parameters in the equations, we establish several results concerning local existence, global existence, uniqueness and finite time blow-up property.     

Existence theorems for second-order discrete boundary value problems

This article is concerned with the existence of solutions of boundary value problems for nonlinear second-order difference equations of the type , where δ>0 is the ratio of odd positive integers, {p_n} and {q_n} are real sequences. The authors apply the Linking Theorem and the Mountain Pass Lemma in the critical point theory and give some new results for the existence of solutions.     

Positive solutions and multiple solutions at non-resonance, resonance and near resonance for hemivariational inequalities with -Laplacian

In this paper we study eigenvalue problems for hemivariational inequalities driven by the -Laplacian differential operator. We prove the existence of positive smooth solutions for both non-resonant and resonant problems at the principal eigenvalue of the negative -Laplacian with homogeneous Dirichlet boundary condition. We also examine problems which are near resonance both from the left and from the right of the principal eigenvalue. For nearly resonant from the right problems we also prove a multiplicity result.

     

Construction of discrete series for classical -adic groups

The classification of irreducible square integrable representations of classical -adic groups is completed in this paper, under a natural local assumption. Further, this classification gives a parameterization of irreducible tempered representations of these groups. Therefore, it implies a classification of the non-unitary duals of these groups (modulo cuspidal data). The classification of irreducible square integrable representations is directly related to the parameterization of irreducible square integrable representations in terms of dual objects, which is predicted by Langlands program.

     

On solutions of functional-integral equations of Urysohn type on an unbounded interval

In this paper we establish the existence of solutions of functional-integral and quadratic Urysohn integral on the interval . The technique of proving applied in this paper is based on the concept of measure of noncompactness and the fixed point theorem. Some new results are given.     

Regularity estimates for elliptic boundary value problems in Besov spaces

We consider the Dirichlet problem for Poisson's equation on a nonconvex plane polygonal domain . New regularity estimates for its solution in terms of Besov and Sobolev norms of fractional order are proved. The analysis is based on new interpolation results and multilevel representations of norms on Sobolev and Besov spaces. The results can be extended to a large class of elliptic boundary value problems. Some new sharp finite element error estimates are deduced.

     

The characters of the generalized Steinberg representations of finite general linear groups on the regular elliptic set

Let be a finite field, the degree extension of , and the general linear group with entries in . This paper studies the ``generalized Steinberg" (GS) representations of and proves the equivalence of several different characterizations for this class of representations. As our main result we show that the union of the class of cuspidal and GS representations of is in natural one-one correspondence with the set of Galois orbits of characters of , the regular orbits of course corresponding to the cuspidal representations. Besides using Green's character formulas to define GS representations, we characterize GS representations by associating to them idempotents in certain commuting algebras corresponding to parabolic inductions and by showing that GS representations are the sole components of these induced representations which are ``generic" (have Whittaker vectors).

     

Mod 4 Galois representations and elliptic curves

Galois representations with cyclotomic determinant all arise from the -torsion of elliptic curves for . For , we show the existence of more than a million such representations which are surjective and do not arise from any elliptic curve.

     

Homoclinic solutions of some second order non-autonomous systems

In this paper we investigate the existence of homoclinic solutions for the following second order non-autonomous system

where A is an antisymmetric constant matrix, is a symmetric and positive definite matrix for all , W(t,q)=a(t)V(q) such that is a continuous function and . Assuming that V(q) is subquadratic as q→+∞ and some technical assumptions on A and L, we establish two existence criteria to guarantee that (DS) has at least one nontrivial homoclinic solution by using a standard minimizing argument. Besides that, in some particular case, for the first time the uniqueness of homoclinic solutions of (DS) is also obtained. Recent results in the literature are generalized and significantly improved.     

Reasoning about sequences of memory states

Motivated by the verification of programs with pointer variables, we introduce a temporal logic whose underlying assertion language is the quantifier-free fragment of separation logic and the temporal logic on the top of it is the standard linear-time temporal logic LTL. We analyze the complexity of various model-checking and satisfiability problems for , considering various fragments of separation logic (including pointer arithmetic), various classes of models (with or without constant heap), and the influence of fixing the initial memory state. We provide a complete picture based on these criteria. Our main decidability result is pspace-completeness of the satisfiability problems on the record fragment and on a classical fragment allowing pointer arithmetic. -completeness or -completeness results are established for various problems by reducing standard problems for Minsky machines, and underline the tightness of our decidability results.