Multiple partitions, lattice paths and a Burge-Bressoud-type correspondence

A bijection is presented between (1): partitions with conditions f_j+f_j+1≤k−1 and f₁≤i−1, where f_j is the frequency of the part j in the partition, and (2): sets of k−1 ordered partitions (n⁽¹⁾,n⁽²⁾,…,n^(k−1)) such that and , where m_j is the number of parts in n^(j). This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the k−1 ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud’s version of the Burge correspondence.     

Cauchy problem for semilinear wave equation with time-dependent metrics

We establish the existence of a weak solution u of the semilinear wave equation where a(t,x) is equal to 1 outside a compact set with respect to x and a non-linear term f_k which satisfies |f_k(u)|≤C|u|^k. For some non-trapping time-periodic perturbations a(t,x), we obtain the long time existence of a solution from little initial data.     

Global Hölder continuity of weak solutions to quasilinear divergence form elliptic equations

We derive global Hölder regularity for the -weak solutions to the quasilinear, uniformly elliptic equation

div(aij(x,u)Dju+ai(x,u))+a(x,u,Du)=0     

Normal families of meromorphic functions with multiple zeros and poles

Let k be a positive integer with k?2 and let be a family of functions meromorphic on a domain D in , all of whose poles have multiplicity at least 3, and of whose zeros all have multiplicity at least k+1. Let a(z) be a function holomorphic on D, a(z)?0. Suppose that for each , f^(k)(z)≠a(z) for z∈D. Then is a normal family on D.     

Distance-two labelings of digraphs

For positive integers j?k, an L(j,k)-labeling of a digraph D is a function f from V(D) into the set of nonnegative integers such that |f(x)-f(y)|?j if x is adjacent to y in D and |f(x)-f(y)|?k if x is of distance two to y in D. Elements of the image of f are called labels. The L(j,k)-labeling problem is to determine the -number of a digraph D, which is the minimum of the maximum label used in an L(j,k)-labeling of D. This paper studies -numbers of digraphs. In particular, we determine -numbers of digraphs whose longest dipath is of length at most 2, and -numbers of ditrees having dipaths of length 4. We also give bounds for -numbers of bipartite digraphs whose longest dipath is of length 3. Finally, we present a linear-time algorithm for determining -numbers of ditrees whose longest dipath is of length 3.     

A unique solution to a nonlinear elliptic equation

The purpose of this paper is to prove the existence of a unique, classical solution to the nonlinear elliptic partial differential equation −∇⋅(a(u(x))∇u(x))=f(x) under periodic boundary conditions, where u(x₀)=u₀ at x₀∈Ω, with Ω=TN, the N-dimensional torus, and N=2,3. The function a is assumed to be smooth, and a(u(x))>0 for , where G⊂R is a bounded interval. We prove that if the functions f and a satisfy certain conditions, then a unique classical solution u exists. The range of the solution u is a subset of a specified interval . Applications of this work include stationary heat/diffusion problems with a source/sink, where the value of the solution is known at a spatial location x₀.     

Normal families and shared values of meromorphic functions

Let be a positive integer, let F be a family of meromorphic functions in a domain D, all of whose zeros have multiplicity at least k+1, and let , be two holomorphic functions on D. If, for each f∈F, f=a(z)⇔f(k)=h(z), then F is normal in D.     

Multiple positive and 2-nodal symmetric solutions of elliptic problems with critical nonlinearity

We consider the problem −Δu+a(x)u=f(x)|u|^2*−2u in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN, N?4, is the critical Sobolev exponent, and a,f are continuous functions. We assume that Ω, a and f are invariant under the action of a group of orthogonal transformations. We obtain multiplicity results which contain information about the symmetry and symmetry-breaking properties of the solutions, and about their nodal domains. Our results include new multiplicity results for the Brezis-Nirenberg problem −Δu+λu=|u|^2*−2u in Ω, u=0 on ∂Ω.     

Dynamical systems method (DSM) for selfadjoint operators

Let A be a selfadjoint linear operator in a Hilbert space H. The DSM (dynamical systems method) for solving equation Av=f consists of solving the Cauchy problem , u(0)=u₀, where Φ is a suitable operator, and proving that (i) ∃u(t)∀t>0, (ii) ∃u(∞), and (iii) A(u(∞))=f. It is proved that if equation Av=f is solvable and u solves the problem , u(0)=u₀, where a>0 is a parameter and u₀ is arbitrary, then lima→0limt→∞u(t,a)=y, where y is the unique minimal-norm solution of the equation Av=f. Stable solution of the equation Av=f is constructed when the data are noisy, i.e., fδ is given in place of f, ‖fδ−f‖?δ. The case when a=a(t)>0, , a(t)↘0 as t→∞ is considered. It is proved that in this case limt→∞u(t)=y and if fδ is given in place of f, then limt→∞u(tδ)=y, where tδ is properly chosen.     

The utilization of total mass to determine the switching points in the symmetric boundary control problem with a linear reaction term

The authors study the problem , and u(0,t)=u(1,t)=ψ(t), where ψ(t)=u₀ for t2k<t<t2k+1 and ψ(t)=0 for , with t₀=0 and the sequence tk is determined by the equations , for , and , for k=2,4,6,… and where 0<m<M. Note that the switching points , are unknown. Existence and uniqueness are demonstrated. Theoretical estimates of the tk and tk+1−tk are obtained and numerical verifications of the estimates are presented. The case of ux(0,t)=ux(1,t)=ψ(t) is also considered and analyzed.     

Strong continuity of generalized Feynman-Kac semigroups: Necessary and sufficient conditions

Let (E,D(E)) be a strongly local, quasi-regular symmetric Dirichlet form on L²(E;m) and ((Xt)_t?0,(Px)_x∈E) the diffusion process associated with (E,D(E)). For u∈De(E), u has a quasi-continuous version and has Fukushima's decomposition: , where is the martingale part and is the zero energy part. In this paper, we study the strong continuity of the generalized Feynman-Kac semigroup defined by , t?0. Two necessary and sufficient conditions for to be strongly continuous are obtained by considering the quadratic form (Qu,Db(E)), where Qu(f,f):=E(f,f)+E(u,f²) for f∈Db(E), and the energy measure μ〈u〉 of u, respectively. An example is also given to show that is strongly continuous when μ〈u〉 is not a measure of the Kato class but of the Hardy class with the constant (cf. Definition 4.5).     

Existence of solutions for some discrete boundary value problems with a parameter

In this paper, the existence and multiplicity results of solutions are obtained for the discrete nonlinear two point boundary value problem (BVP) ; u(0)=0=Δu(T), where T is a positive integer, Z(1,T)={1,2,…,T}, Δ is the forward difference operator defined by Δu(k)=u(k+1)-u(k) and f:Z(1,T)×R→R is continuous, λ∈R⁺ is a parameter. By using the critical point theory and Morse theory, we obtain that the above (BVP) has solutions for λ being in some different intervals.     

Positive solutions for some Schrödinger equations having partially periodic potentials

This paper is concerned with the problem of finding positive solutions of the equation −Δu+(a_∞+a(x))u=|u|^q−2u, where q is subcritical, Ω is either RN or an unbounded domain which is periodic in the first p coordinates and whose complement is contained in a cylinder , a_∞>0, a∈C(RN,R) is periodic in the first p coordinates, infx∈RN(a_∞+a(x))>0 and a(x^′,x^″)→0 as |x^″|→∞ uniformly in x^′. The cases a?0 and a?0 are considered and it is shown that, under appropriate assumptions on a, the problem has one solution in the first case and p+1 solutions in the second case when p?N−2.     

On the quadratic character of quadratic units

Let be a prime. Let a,b∈Z with p?a(a²+b²). In the paper we mainly determine by assuming p=c²+d² or p=Ax²+2Bxy+Cy² with AC−B²=a²+b². As an application we obtain simple criteria for εD to be a quadratic residue , where D>1 is a squarefree integer such that D is a quadratic residue of p, εD is the fundamental unit of the quadratic field with negative norm. We also establish the congruences for and obtain a general criterion for p|U(p−1)/4, where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1).     

The geometry of the critical set of nonlinear periodic Sturm-Liouville operators

We study the critical set C of the nonlinear differential operator F(u)=−u^″+f(u) defined on a Sobolev space of periodic functions Hp(S¹), p?1. Let be the plane z=0 and, for n>0, let n be the cone x²+y²=tan²z, |z−2πn|<π/2; also set . For a generic smooth nonlinearity f:R→R with surjective derivative, we show that there is a diffeomorphism between the pairs (Hp(S¹),C) and (R³,Σ)×H where H is a real separable infinite-dimensional Hilbert space.