Asymptotic behavior of eigenvalues of two-parameter nonlinear Sturm-Liouville problems

The nonlinear two-parameter Sturm-Liouville problemu ^"+μg(u)=λf(u) is studied for μ, λ>0. By using Ljusternik-Schnirelman theory on the general level set developed by Zeidler, we shall show the existence of ann-th variational eigenvalue λ=λ_n(μ). Furthermore, for specialf andg, the asymptotic formula of λ₁(μ)) as μ→∞ is established.     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

Interior transition layers of solutions to the perturbed elliptic Sine-Gordon equation on an interval

We consider the perturbed elliptic Sine-Gordon equation on an interval-u″t+γsinu(t)=μf(u(t)),t ∈I := (-T, T),u(t) > 0,t ∈I,u(±T)=0 where λ, μ>0 are parameters andT>0 is a constant. By applying variational methods subject to the constraint depending on λ, we obtain eigenpairs (μ,u)=(μ(λ),u _λ) which solve this eigenvalue problem for a given λ>0. Then we study the asymptotic behavior ofu _λ and μ(λ) as λ→∞. Especially, we study the location of interior transition layers ofu _λ as λ→∞. This research has been supported by the Japan Society for the Promotion of Science.     

Global existence and L ∞ estimates of solutions for a quasilinear parabolic system

In this paper, we study the global existence, L^∞ estimates and decay estimates of solutions for the quasilinear parabolic system u_t = div (|∇ u|^m ∇ u) + f(u, v), v_t = div (|∇ v|^m ∇ v) + g(u,v) with zero Dirichlet boundary condition in a bounded domain Ω ⊂ R^N. In particular, we find a critical value for the existence and nonexistence of global solutions to the equation u_t = div (|∇ u|^m ∇ u) + λ |u|^{α - 1} u.     

Further Results on the Existence of Splitting BIBDs and Application to Authentication Codes

Let (v,u×c,λ)-splitting BIBD denote a (v,u×c,λ)-splitting balanced incomplete block design of order v with block size u×c and index λ. Necessary conditions for the existence of a (v,u×c,λ)-splitting BIBD are v≥uc, λ(v−1)≡0 (mod c(u−1)) and λ v(v−1)≡0 (mod (c ² u(u−1))). We show in this paper that the necessary conditions for the existence of a (v,3×3,λ)-splitting BIBD are also sufficient with possible exceptions when (1) (v,λ)∈{(55,1),(39,9k):k=1,2,…}, (2) λ≡0 (mod 54) and v≡0 (mod 2). We also show that there exists a (v,3×4,1)-splitting BIBD when v≡1 (mod 96). As its application, we obtain a new infinite class of optimal 4-splitting authentication codes.     

Reduction for primitive flag-transitive (<Emphasis Type="Italic">v</Emphasis>, <Emphasis Type="Italic">k</Emphasis>, 4)-symmetric designs

It has been shown that if a (v, k, λ)-symmetric design with λ ≤ 3 admits a flag-transitive automorphism group G which acts primitively on points, then G must be of affine or almost simple type. Here we extend the result to λ = 4.     

On coerciveness and semiboundedness of general boundary problems

The paper treats coerciveness inequalities (of the form Re(Au, u)≧c ‖u‖ _s ² −λ ‖u‖ ₀ ² ,c>0,λ ∈ R) and semiboundedness inequalities (of the form Re (Au, u)≧−λ ‖u‖²) for the general boundary problems associated with an elliptic 2m-order differential operatorA in a compactn-dimensional manifold with boundary. In particular, we study the normal pseudo-differential boundary conditions, for which we determine necessary and sufficient conditions for coerciveness withs=m, and for semiboundedness with ‖u‖ = ‖u‖_m, in explicit form.     

On Translation and Affine Systems Spanning L1(ℝ)

We show that the discrete translation parameter sets Λ ⊂ ℝ for which some φ ∈ L¹(ℝ) exists such that the translates φ(x − λ), λ ∈ Λ, span L¹(ℝ) are exactly the uniqueness sets for certain quasianalytic classes, and give explicit constructions of such generators φ. We also consider a similar situation for affine systems of the type φ(μx − λ), μ ∈ Γ, λ ∈ Λ.     

A note on the Multiplier Conjecture

In order to identify multipliers of abelian (υ, k, λ)-difference sets the First and the Second Multiplier Theorem of Hall, Ryser and Chowla, resp. of Hall and Menon, need a divisor m of n = k − λ that is coprime to υ. Moreover, both theorems require that m > λ. The famous Multiplier Conjecture asserts that the restriction m > λ is not necessary. We present a generalization of the Second Multiplier Theorem where m is not necessarily coprime to υ. Here the requirement that m > λ generalizes to the condition m/(υ, m) > λ. This gives rise to a generalized Multiplier Conjecture which asserts that this condition is not necessary. We disprove this conjecture by showing that there exist counterexamples.     

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

Sous-Potentiels D’un Operateur Nonlineaire

LetA be a (nonlinear) operator in an ordered linear spaceX with resolvantJ _λ=(I+λA)^-1 well-defined onX and non-decreasing for any smallλ>0, andν ∈X. We define sub-potential ofν with respect toA, as anyu ∈X satisfyingu≧J _λ(u+λv) for smallλ>0, and show that this coincides with the notion of sub-solution of the equationAu∋ν in some abstract cases where such notion is defined in a natural way. At last, we give some general properties of sub-potentials, in particular an extension of the Kato inequality whenX is a lattice, and, for good set of constraintsU, existence of a largest solution for the control problem:u ∈U andu is a sub-potential ofν with respect toA.      

Asymptotic Behavior of Bifurcation Branch of Positive Solutions for Semilinear Sturm–Liouville Problems

We consider the nonlinear eigenvalue problem

Two classes of optimal two-dimensional OOCs

Let Φ(u × v, k, λ _a , λ _c ) denote the largest possible size among all 2-D (u × v, k, λ _a , λ _c )-OOCs. In this paper, the exact value of Φ(u × v, k, λ _a , k − 1) for λ _a = k − 1 and k is determined. The case λ _a = k − 1 is a generalization of a result in Yang (Inform Process Lett 40:85–87, 1991) which deals with one dimensional OOCs namely, u = 1.     

Modified generalized Hadamard matrices and constructions for transversal designs

It is well known that there exists a transversal design TD_λ[k; u] admitting a class regular automorphism group U if and only if there exists a generalized Hadamard matrix GH(u, λ) over U. Note that in this case the resulting transversal design is symmetric by Jungnickel’s result. In this article we define a modified generalized Hadamard matrix and show that transversal designs which are not necessarily symmetric can be constructed from these under a modified condition similar to class regularity even if it admits no class regular automorphism group.     

The asymptotic behavior of Chern-Simons Higgs model on a compact Riemann surface with boundary

We study the self-dual Chern-Simons Higgs equation on a compact Riemann surface with the Neumann boundary condition.In the previous paper,we show that the Chern-Simons Higgs equation with parameter λ0 has at least two solutions(uλ1,uλ2) for λ sufficiently large,which satisfy that uλ1→u0 almost everywhere as λ→∞,and that uλ2→∞ almost everywhere as λ→∞,where u 0 is a(negative) Green function on M.In this paper,we study the asymptotic behavior of the solutions as λ→∞,and prove that uλ2-uλ2 converges to a solution of the Kazdan-Warner equation if the geodesic curvature of the boundary M is negative,or the geodesic curvature is nonpositive and the Gauss curvature is negative where the geodesic curvature is zero.     

Precise asymptotic formulas for variational eigencurves of semilinear two-parameter elliptic eigenvalue problems

We consider the two-parameter nonlinear eigenvalue problem?−Δu = μu − λ(u + u ^p + f(u)), u > 0 in Ω, u = 0 on ∂Ω,?where p>1 is a constant and μ,λ>0 are parameters. We establish the asymptotic formulas for the variational eigencurves λ=λ(μ,α) as μ→∞, where α>0 is a normalizing parameter. We emphasize that the critical case from a viewpoint of the two-term asymptotics of the eigencurve is p=3. Moreover, it is shown that p=5/3 is also a critical exponent from a view point of the three-term asymptotics when Ω is a ball or an annulus. This sort of criticality for two-parameter problems seems to be new. Received: February 9, 2002; in final form: April 3, 2002?Published online: April 14, 2003     

Life span of solutions of a weakly coupled parabolic system

We consider the Cauchy problem for the weakly coupled parabolic system ∂ _t w _λ−Δ w _λ = F(w _λ) in R ^N , where λ > 0, w _λ = (u _λ, v _λ), F(w _λ) = (v _λ ^p , u _λ ^q ) for some p, q ≥ 1, pq > 1, and w_l(0) = (lj₁, l^\fracq+1p+1j₂)w_{\lambda}(0) = ({\lambda}{\varphi}_1, {\lambda}^{\frac{q+1}{p+1}}{\varphi}_2), for some nonnegative functions φ₁, φ₂ ?\in C ₀(R ^N ). If (p, q) is sub-critical or either φ₁ or φ₂ has slow decay at ∞, w _λ blows up for all λ > 0. Under these conditions, we study the blowup of w _λ for λ small.     

Equivalence classes of central semiregular relative difference sets

A semiregular relative difference set (RDS) in a finite group E which avoids a central subgroup C is equivalent to a cocycle which satisfies an additional condition, called orthogonality. However the basic equivalence relation, cohomology, on cocycles, does not preserve orthogonality, leading to the perception that orthogonality is essentially a combinatorial property. We show this perception is false by discovering a natural atomic structure within cohomology classes, which discriminates between orthogonal and non‐orthogonal cocycles. This atomic structure is determined by an action we term the shift action of the group G = E/C on cocycles, which defines a stronger equivalence relation on cocycles than cohomology. We prove that for each triple (C, E, G), the set of equivalence classes of semiregular RDS in E relative to C is in one to one correspondence with the set of shift‐orbits of the (Aut(C) × Aut(G))‐orbits of orthogonal cocycles. This determines a new algorithm for detecting and classifying central semiregular RDS. We demonstrate it, and propose a 7‐parameter classification scheme for equivalence classes of central semiregular relative difference sets. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 330–346, 2000     

A sturm-liouville problem with physical and spectral parameters in boundary conditions

We study the spectral probleml(u)=−u″+q(x)u(x)=λu(x),u′(0)=0, u′(π)=mλu(π), where λ andm are a spectral and a physical parameter. Form<0, we associate with the problem a self-adjoint operator in Pontryagin space II₁. Using this fact and developing analytic methods of the theory of Sturm-Liouville operators, we study the dynamics of eigenvalues and eigenfunctions of the problems asm→−0. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 163–172, August, 1999.     

Three-term asymptotics for the boundary layers of semilinear elliptic eigenvalue problems

We consider the nonlinear eigenvalue problem −Δu=λ f(u) in Ω u=0 on ∂Ω, where Ω is a ball or an annulus in R^N (N ≥ 2) and λ > 0 is a parameter. It is known that if λ >> 1, then the corresponding positive solution u_λ develops boundary layers under some conditions on f. We establish the asymptotic formulas for the slope of the boundary layers of u_λ with the exact second term and the ‘optimal’ estimate of the third term.