Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

Fourier transforms of smooth functions on certain nilpotent Lie groups

The authors consider irreducible representations $\text{π ?}\text{N}\text{?}$ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels K_φ(x, y) of the trace class operations π_φ = ∝_Nφ(n)π_ndn, regarding the π as modeled in L²(R^k) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels K_φ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rⁿ, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rⁿ → Rⁿ with the following properties. The Fourier transforms F₁φ = K_φ(x, y, λ) all factor through A to give “rationalized” Fourier transforms Fφ(u) such that Fφ ° A = F₁φ. On the rationalized parameter space a function f(u) is of the form F_φ = f ? f is Schwartz class on Rⁿ. If polynomial operators T?P(N) are transferred to operators $\text{T}\text{?}$ on Rⁿ such that $\text{F(Tφ) =}\text{T}\text{?}\text{(Fφ), P(N)}$ is transformed isomorphically to P(Rⁿ).     

The resolvent of a dilation-analytic three-particle system

If the potential in a three-particle system is the boundary value of an analytic function, the physical Hamiltonian H(0) has a dilation-analytic continuation H(φ). The continuous spectrum of H(φ) consists of half-lines Y(λ_p, φ) starting at the thresholds λ_p of scattering channels and making angles 2φ with the positive real axis. If the interaction is the sum of local two-body potentials in suitable $\text{L}$^p-spaces, each half-line Y(λ_p, φ) is associated with an operator P(λ_p, φ) that projects onto an invariant subspace of H(φ). Suppose Y(λ_p, φ) does not pass through any two- or three-particle eigenvalues λ ≠ λ_p when φ runs through some interval $\text{0 < α ? φ ? β <}\text{π}\text{2}$. For φ in [α, β], this paper shows that the resolvent R(λ, φ) has smoothness properties near Y(λ_p, φ) that are sufficient for P(λ_p, φ)[H(φ) ? λ_p] e^?2iφ to be spectral and to generate a strongly differentiable group. The projection, the group, and the spectral resolution operators are norm continuous in φ. These results are not affected by any spurious poles of the resolvent equation. At a spurious pole λ = λ_p + ze^2iφ, the resolvent R(λ_p + ze^2iφ,φ) is examined by a method that uses two resolvent equations in succession and shows that there is norm continuity in z, φ. The case of spurious poles on Y(λ_p, φ) is included.     

Sur un probleme aux valeurs propres non line aire

In this paper, we give some sufficient conditions for which the differential operatorP(λ=P ₀+λP ₁+...+λ ^m?1 P _m?1+λ ^m , depending polynomially on the complex parameter λ, verifies the following statement: there exists λ₀ ∈ ?,u _o=0,u ₀ ∈ ?(? ⁿ ) a Schwartz space of rapidly decreasing functions, such thatP(λ₀)u ₀=0-.     

Structure of multiple solutions for nonlinear differential equations

Based on the eigensystem {λ_j,φ_j} of -Δ, the multiple solutions for nonlinear problem Δu + f(u) = 0 in Ω,u = 0 on ?Ω are approximated. A new search-extension method (SEM), which consists of three steps in three level subspaces, is proposed. Numerical simulations for several typical nonlinear cases, i.e. f(u) = u ³, u ², (u - p), u ²(u ² - p), are completed and some conjectures are presented.     

Boundary behaviour of the unique solution to a singular Dirichlet problem with a convection term

By Karamata regular variation theory and constructing comparison functions, we derive that the boundary behaviour of the unique solution to a singular Dirichlet problem −Δu=b(x)g(u)+λq|∇u|, u>0, x∈Ω, u_|∂Ω=0, which is independent of λq|∇uλ|, where Ω is a bounded domain with smooth boundary in RN, λ∈R, q∈(0,2], lims→⁰⁺g(s)=+∞, and b is non-negative on Ω, which may be vanishing on the boundary.     

L∞ bounds for solutions of parametrized elliptic equations

This generalizes earlier results (T. I. Seidman, Indiana Univ. Math. J.30 (1981), 305–311) for ?Δu = λf(u). For the family of equations (su1) Au = g(u, λ) with appropriate boundary conditions the object is to construct from g and the boundary conditions a function η(λ, r) such that a bound y(λ) on ∥u∥_∞ can be obtained by solving the ODE: y′(λ) = η(λ, y) with y(λ₀) = B(λ₀) = bound at λ = λ₀.     

A weight space invariant with respect to a singular linear operator

For the singular operator $$Su = \int_a^b {\frac{{K(x, s) u (s)}}{{s - x}}} ds$$ invariant weight spacesλ _α ^β , _p (u(x)∈λ _α ^β , _p if 1⁰,u (x) ρ (x)∈ H _β ⁰ , 2⁰.‖u‖L _p(ρ₀)<∞, ρ (x) = (x?a) (b ?x)^1+β, ρ₀(x)=(b?x)^α(p?1), 0<α, β<1,p>1H ₀ ^β is a Hölder space. Multiplicative inequalities of the type of Kh. Sh. Mukhtarov are also obtained.     

On the behavior of the solution of the Burgers equation as the viscosity goes to zero

The solution of the initial boundary-value problem u_?′ ? ?D²u_? + u_?Du_? = f on (a, b) x(0, T), u_?(a, t) = u_?(b, t) = 0 and u_?(x, 0) = 0 on (a, b), is shown to converge to the solution of the limiting equation as the viscosity tends to zero. Estimates on the rate of convergence are given.     

Universally bad integers and the 2-adics

In his 1964 paper, de Bruijn (Math. Comp. 18 (1964) 537) called a pair (a,b) of positive odd integers good, if , where is the set of nonnegative integers whose 4-adic expansion has only 0's and 1's, otherwise he called the pair (a,b) bad. Using the 2-adic integers we obtain a characterization of all bad pairs. A positive odd integer u is universally bad if (ua,b) is bad for all pairs of positive odd integers a and b. De Bruijn showed that all positive integers of the form u=2^k+1 are universally bad. We apply our characterization of bad pairs to give another proof of this result of de Bruijn, and to show that all integers of the form u=φ_p^k(4) are universally bad, where p is prime and φ_n(x) is the nth cyclotomic polynomial. We consider a new class of integers we call de Bruijn universally bad integers and obtain a characterization of such positive integers. We apply this characterization to show that the universally bad integers u=φ_p^k(4) are in fact de Bruijn universally bad for all primes p>2. Furthermore, we show that the universally bad integers φ_2^k(4), and more generally, those of the form 4^k+1, are not de Bruijn universally bad.     

Smooth and non-smooth travelling waves in a nonlinearly dispersive Boussinesq equation

The dynamical behavior and special exact solutions of nonlinear dispersive Boussinesq equation (B(m,n) equation), u_tt−u_xx−a(uⁿ)_xx+b(u^m)_xxxx=0, is studied by using bifurcation theory of dynamical system. As a result, all possible phase portraits in the parametric space for the travelling wave system, solitary wave, kink and anti-kink wave solutions and uncountably infinite many smooth and non-smooth periodic wave solutions are obtained. It can be shown that the existence of singular straight line in the travelling wave system is the reason why smooth waves converge to cusp waves, finally. When parameter are varied, under different parametric conditions, various sufficient conditions guarantee the existence of the above solutions are given.     

Abstract Cauchy problems that involve a product of two Euler-Poisson-Darboux operators

Let X be a Banach space, let B be the generator of a continuous group in X, and let A = B². Assume that D(A^r) is dense in X for r an arbitrarily large positive integer and that a and b are non-negative reals. Solution representations are developed for the abstract differential equation

$\text{(D}{}^2{}_{\mathrm{t}}\text{+}\text{b}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) · (D}{}^2{}_{\mathrm{t}}\text{+}\text{a}\text{t}\text{D}{}_{\mathrm{t}}\text{? A) u(t) = 0, t > 0}$

corresponding to initial conditions of the form: (i) u(0+) = φ, u^(j)(0+) = 0, j = 1, 2, 3 and (ii) u²(0+) = φ, u^j(0+) = 0, j = 0, 1, 3 (with φ∈D(A^r)) for all choices of a and b.     

On the Fourier transforms of retarded Lorentz-invariant functions

In this article we evaluate the Fourier transforms of retarded Lorentz-invariant functions (and distributions) as limits of Laplace transforms. Our method works generally for any retarded Lorentz-invariant functions φ(t) (t?Rⁿ) which is, besides, a continuous function of slow growth. We give, among others, the Fourier transform of G_R(t, α, m², n) and G_A(t, α, m², n), which, in the particular case α = 1, are the characteristic functions of the volume bounded by the forward and the backward sheets of the hyperboloid u = m² and by putting α = ?k are the derivatives of k-order of the retarded and the advanced-delta on the hyperboloid u = m². We also obtain the Fourier transform of the function W(t, α, m², n) introduced by M. Riesz (Comm. Sem. Mat. Univ. Lund4 (1939)). We finish by evaluating the Fourier transforms of the distributional functions G_R(t, α, m², n), G_A(t, α, m², n) and W(t, α, m², n) in their singular points.     

On the maximum number of permutations with given maximal or minimal distance

Let us denote by R(k, ? λ)[R(k, ? λ)] the maximal number $\text{M}$ such that there exist $\text{M}$ different permutations of the set {1,…, k} such that any two of them have at least λ (at most λ, respectively) common positions. We prove the inequalities R(k, ? λ) ? kR(k ? 1, ? λ ? 1), R(k, ? λ) ? R(k, ? λ ? 1) ? k!, R(k, ? λ) ? kR(k ? 1, ? λ ? 1). We show: R(k, ? k ? 2) = 2, R(k, ? 1) = (k ? 1)!, R(p^m, ? 2) = (p^m ? 2)!, R(p^m + 1, ? 3) = (p^m ? 2)!, $\text{R(k, ? k ? 3) =}\text{k!}\text{2}$, R(k, ? 0) = k, R(p^m, ? 1) = p^m(p^m ? 1), R(p^m + 1, ? 2) = (p^m + 1)p^m(p^m ? 1). The exact value of R(k, ? λ) is determined whenever k ? k₀(k ? λ); we conjecture that R(k, ? λ) = (k ? λ)! for k ? k₀(λ). Bounds for the general case are given and are used to determine that the minimum of |R(k, ? λ) ? R(k, ? λ)| is attained for $\text{λ = (}\text{k}\text{2}\text{) + O(}\text{k}\text{log}\text{k}\text{)}$.     

Labeling bipartite permutation graphs with a condition at distance two

An L(p,q)-labeling of a graph G is an assignment f from vertices of G to the set of non-negative integers {0,1,…,λ} such that |f(u)−f(v)|≥p if u and v are adjacent, and |f(u)−f(v)|≥q if u and v are at distance 2 apart. The minimum value of λ for which G has L(p,q)-labeling is denoted by λ_p,q(G). The L(p,q)-labeling problem is related to the channel assignment problem for wireless networks.In this paper, we present a polynomial time algorithm for computing L(p,q)-labeling of a bipartite permutation graph G such that the largest label is at most (2p−1)+q(bc(G)−2), where bc(G) is the biclique number of G. Since λ_p,q(G)≥p+q(bc(G)−2) for any bipartite graph G, the upper bound is at most p−1 far from optimal.     

Almost everywhere divergent subsequences of Fourier sums of functions from φ(L) ∩ H 1 ω

For a gap sequence of natural numbers {n _k } _k=1 ^∞ , for a nondecreasing function φ: [0,+∞) → [0,+∞) such that φ(u) = o(u ln ln u) as u → ∞, and a modulus of continuity satisfying the condition (ln k)^?1 = O(ω(n _k ^?1 )), we present an example of a function F ∈ φ(L) ∩ H ₁ ^ω with an almost everywhere divergent subsequence {S _{n k} (F, x)} of the sequence of partial sums of the trigonometric Fourier series of the function F.     

Remarks on large solutions of a class of semilinear elliptic equations

In this paper, we show existence, uniqueness and exact asymptotic behavior of solutions near the boundary to a class of semilinear elliptic equations −Δu=λg(u)−b(x)f(u) in Ω, where λ is a real number, b(x)>0 in Ω and vanishes on ∂Ω. The special feature is to consider g(u) and f(u) to be regularly varying at infinity and b(x) is vanishing on the boundary with a more general rate function. The vanishing rate of b(x) determines the exact blow-up rate of the large solutions. And the exact blow-up rate allows us to obtain the uniqueness result.     

Degenerate bifurcation at simple eigenvalues and stability of bifurcating solutions

Let X and Y be Banach spaces, Y ?X, and let V be a neighborhood of zero in Y. We consider the equation G(λ, u) ≡ A(λ)u + F(λ, u) = 0, where G: [?d₁, d₁] × V → X, G(λ, 0) = 0, and A(λ) is the Fréchet derivative of G with respect to u at (λ, 0). Furthermore, we assume that G is analytic with respect to λ and u. Bifurcation at a simple eigenvalue means that zero is a simple eigenvalue of A (0). Let μ(λ) be the simple eigenvalue of the perturbed operator A(λ) for λ near zero. Let $\text{d}{}^{\mathrm{j}}\text{μ(0)}\text{dλ}{}^{\mathrm{j}}\text{= 0, j = 0,…, m ? 1,}\text{d}{}^{\mathrm{m}}\text{μ(0)}\text{dλ}{}^{\mathrm{m}}\text{A}{}_{\mathrm{m}}\text{≠ 0,}\text{or}\text{μ(λ) ≡ 0}$. Under the nondegeneracy condition m = 1 the existence of a unique curve of solutions intersecting the trivial solution (λ, 0) at (0, 0) is well known. Furthermore the “Principle of Exchange of Stability” was established in this case. We show that in the degenerate case (m > 1) up to m bifurcating curves of solutions can exist and that at least one nontrivial curve exists if m is odd. Our approach supplies all curves of solutions near (0, 0) together with their direction of bifurcation and their linearized stability. The decisive fact is that A_m is also the leading term of the bifurcation equation. A consequence is a “Generalized Principle of Exchange of Stability”, which means that adjacent solutions for the same λ have opposite stability properties in a weakened sense. For practical use we give a criterion for asymptotic stability or instability which follows from the construction of the curves of solutions themselves.     

Nonlocal initial-boundary-value problems for a degenerate hyperbolic equation

We consider the equation y ^m u _xx − u _yy − b ² y ^m u = 0 in the rectangular area {(x, y) | 0 < x < 1, 0 < y < T}, where m < 0, b ≥ 0, T > 0 are given real numbers. For this equation we study problems with initial conditions u(x, 0) = τ(x), u _y (x, 0) = ν(x), 0 ≤ x ≤ 1, and nonlocal boundary conditions u(0, y) = u(1, y), u _x (0, y) = 0 or u _x (0, y) = u _x (1, y), u(1, y) = 0 with 0≤y≤T. Using the method of spectral analysis, we prove the uniqueness and existence theorems for solutions to these problems     

Control problems governed by Sobolev partial differential equations

Let G be a bounded subset of Rⁿ with a smooth boundary and Q = G × (0, T]. We consider a control problem governed by the Sobolev initial-value problem My_t(u) + Ly(u) = u in L²(Q), y(·, 0; u) = 0 in L₂(G), where M = M(x) and L = L(x) are symmetric uniformly strongly elliptic operators of orders 2m and 2l, respectively. The problem is to find the control u₀ of L²(Q)-norm at most b that steers to within a prescribed tolerance ? of a given function Z in L²(G) and that minimizes a certain energy functional. Our main results establish regularity properties of u₀. We also give results concerning the existence and uniqueness of the optimal control, the controllability of Sobolev initial-value problems, and properties of the Lagrange multipliers associated with the problem constraints.