Classification of solutions for an integral equation

Let n be a positive integer and let 0 < α < n. Consider the integral equation We prove that every positive regular solution u(x) is radially symmetric and monotone about some point and therefore assumes the form with some constant c = c(n, α) and for some t > 0 and x₀ ? ?ⁿ. This solves an open problem posed by Lieb 12 . The technique we use is the method of moving planes in an integral form, which is quite different from those for differential equations. From the point of view of general methodology, this is another interesting part of the paper. Moreover, we show that the family of well‐known semilinear partial differential equations is equivalent to our integral equation (0.1), and we thus classify all the solutions of the PDEs. © 2005 Wiley Periodicals, Inc.     

Fast solution methods for fredholm integral equations of the second kind

Summary The main purpose of this paper is to describe a fast solution method for one-dimensional Fredholm integral equations of the second kind with a smooth kernel and a non-smooth right-hand side function. Let the integral equation be defined on the interval [–1, 1]. We discretize by a Nyström method with nodes {cos(j/N)} _j ^=0/N . This yields a linear system of algebraic equations with an (N+1)×(N+1) matrixA. GenerallyN has to be chosen fairly large in order to obtain an accurate approximate solution of the integral equation. We show by Fourier analysis thatA can be approximated well by , a low-rank modification of the identity matrix. ReplacingA by in the linear system of algebraic equations yields a new linear system of equations, whose elements, and whose solution , can be computed inO (N logN) arithmetic operations. If the kernel has two more derivatives than the right-hand side function, then is shown to converge optimally to the solution of the integral equation asN increases.We also consider iterative solution of the linear system of algebraic equations. The iterative schemes use bothA andÃ. They yield the solution inO (N ²) arithmetic operations under mild restrictions on the kernel and the right-hand side function.Finally, we discuss discretization by the Chebyshev-Galerkin method. The techniques developed for the Nyström method carry over to this discretization method, and we develop solution schemes that are faster than those previously presented in the literature. The schemes presented carry over in a straightforward manner to Fredholm integral equations of the second kind defined on a hypercube.     

Eigenschaften der Lösungsmenge eines Systems von Volterra-Integralgleichungen

By a well known theorem of H. Kneser [4] the set U of all solutions of the initial value problem $$u' = f(x,u)forx\varepsilon [0,a],u(0) = u_o $$ has the following property: If f is continuous and bounded then U(x₀)={u(x₀): u∈U} is a continuum (i.e. a compact and connected subset) for every x₀∈[0,a]. In the present paper we claim to extend this theorem to a system of Volterra integral equations in several variables of the form x∈B∞R^m, ν=1,...,n that had been investigated in [8]. In fact we shall prove that U is a continuum of the Banach space Cⁿ(B) of all ‘vector functions’ u(x)=(u₁(x),...,u_n(x)), continuous on B. It is an immediate consequence from this that U(x₀) is a continuum of Rⁿ. These results will be established by the help of a suitable modification of a method used by M. Müller [5] to prove Kneser's theorem. Especially, we obtain new theorems for some initial value problems for hyperbolic equations.     

A regularity result for critical points of conformally invariant functionals

Let be an open set inR ² andI be a conformally invariant functional defined onH ¹(,R ^d ). Letu be a critical point ofI. We show that, ifu is apriori assumed to be bounded, thenu is smooth in , up to (ifu _| is smooth). This is a partial (positive) answer to a conjecture of S. Hildebrandt [13]. As an application, we establish a regularity result for weak solutions to the equation of surfaces of prescribed mean curvature in a three-dimensional compact riemannian manifold.     

Existence of Nondecreasing and Continuous Solutions of an Integral Equation with Linear Modification of the Argument

We use a technique associated with measures of noncompactness to prove the existence of nondecreasing solutions to an integral equation with linear modification of the argument in the space C[0, 1]. In the last thirty years there has been a great deal of work in the field of differential equations with a modified argument. A special class is represented by the differential equation with affine modification of the argument which can be delay differential equations or differential equations with linear modifications of the argument. In this case we study the following integral equation x（t） = a（t） ＋ （Tx）（t） ∫0^σ（t） u（t, s, x（s）, x（λs））ds 0 〈 λ 〈 1 which can be considered in connection with the following Cauchy problem x＇（t） = u（t, s, x（t）, x（λt））, t ∈ [0, 1], 0 〈 λ 〈 1 x（0） = u0.     

Time-optimal controls of the equation of evolution in a separable and reflexive Banach space

Let a variable, closed, bounded, and convex subset ofX, a separable and reflexive Banach space, be denoted byG(t). Suppose thatG(t) varies upper-semicontinuously with respect to inclusion ast varies in [0,T]. We say that the strongly measurable mapu from [0,T] toX is an admissible control if, for almost everyt in [0,T],u(t) is an element ofU, a closed, bounded, and convex subset ofX, and u _p M ^1p, where p>1 andM>0.Ifx ^u is the weak solution todx/dt+A(t)x=u(t), 0tT, whereA(t) is as defined by Tanabe in Ref. 1, we say that the responsex ^u to the controlu hits the target in timeT ^u ifx ^u (0)=0 andx ^u (T ^u ) is an element ofG(T ^u ). If there is a control with this property, then there is a time-optimal control.     

Hamiltonian cycles in 1-tough graphs

For a graphG, let ₃ = min{ _i=1 ³ d(u_i): {u₁, u₂, u₃} is an independent set ofG} and = min{ _i=1 ³ d(u_i) – is an independent set ofG}. In this paper, we shall prove the following result: LetG be a 1-tough graph withn vertices such that ₃ n and – 4. ThenG is hamiltonian. This generalizes a result of Fassbender [2], a result of Flandrin, Jung and Li [3] and a result of Jung [5].Supported in part by das promotionsstipendium nach dem NaFöG and the Post-Doctoral Foundation of China.     

Hydrodynamic Limit of the Gross-Pitaevskii Equation

We study dynamics of vortices in solutions of the Gross-Pitaevskii equation i? _t u = Δu + ?^?2 u(1 ? |u|²) on ?² with nonzero degree at infinity. We prove that vortices move according to the classical Kirchhoff-Onsager ODE for a small but finite coupling parameter ?. By carefully tracking errors we allow for asymptotically large numbers of vortices, and this lets us connect the Gross-Pitaevskii equation on the plane to two dimensional incompressible Euler equations through the work of Schochet [19 Schochet , S. ( 1996 ). The point vortex method for periodic weak solutions of the 2D Euler equations . Comm. Pure Appl. Math. 49 : 911 – 965 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Existence and uniqueness of global solutions of onR 2

In this paper, we consider the solutions of the nonlinear Schrödinger equations u/t–iu+|u| ^p u=f andu(x,0)=u ₀(x), whereu is defined onR ⁺×R ². We prove the existence and uniqueness of global weak solutions of the above equations. Lastly, we consider the special case:p=2, and we obtain the strong solutions.     

Supernumary polylogarithmic ladders and related functional equations

Summary The nature of the polylogarithmic ladder is briefly reviewed, and its close relationship to the associated cyclotomic equation explained. Generic results for the base determined by the family of equationsu ^p +u ^q = 1 are developed, and many new supernumary ladders, existing for particular values ofp andq, are discussed in relation to theirad hoc cyclotomic equations. Results for ordersn from 6 through 9, for which no relevant functional equations are known, are reviewed; and new results for the base , where ³ + = 1, are developed through the sixth order.Special results for the exponentp from 4 through 6 are determined whenever a new cyclotomic equation can be constructed. Only the equationu ⁵+u ³ = 1 has so far resisted this process. The need for the constraint (p,q) = 1 is briefly considered if redundant formulas are to be avoided.The equationu ^6m+1 +u ^6r–1 = 1 is discussed and some valid results deduced. This equation is divisible byu ² –u + 1, and the quotient polynomial is useful for constructing cyclotomic equations. The casem = 1,r = 2 is the first example encountered for which no valid ladders have yet been found.New functional equations to give the supernumary -ladders of index 24 are developed, but their construction runs into difficulty at the third order, apparently requiring the introduction of an adjoint set of variables that blocks the extension to the fourth order.A demonstration, based on the indices of existing accessible and supernumary ladders, indicates that functional equations based on arguments ±z ^m (1–z) ^r (1 +z) ^s are not capable of extension to the sixth order.There are some miscellaneous supernumary ladders that seem incapable, at this time, of analytic proof, and these are briefly discussed. In conclusion, applications of ladders are considered, and attention drawn to the existence of ladders with the base on the unit circle giving rise to Clausenfunction formulas which may play an important role inK-theory.     

Superconvergence analysis of approximate boundary-flux calculations

Summary Certain projection post-processing techniques have been proposed for computing the boundary flux for two-dimensional problems (e.g., see Carey, et al. [5]). In a series of numerical experiments on elliptic problems they observed that these post-processing formulas for approximate fluxes were almost (O(h ²)-accurate for linear triangular elements. In this paper we prove that the computed boundary flux isO(h ² ln 1/h)-accurate in the maximum norm for the partial method of [5]. If the solutionuH ³() then the boundary flux error isO(h ^3/2) in theL ²-norm.     

Existence of solutions for a class of nonlinear control problems

We consider problems of control and problems of optimal control, monitored by an abstract equation of the formEx=N _u x in a finite interval [0,T]; here,x is the state variable with values in a reflexive Banach space;u is the control variable with values in a metric space;E is linear and monotone; andN _u is nonlinear of the Nemitsky type. Thus, by well-known devices, the results apply also to parabolic partial differential equations in a cylinder [0,T]×G,G ⁿ , with Cauchy data fort=0 and Dirichlet or Neumann conditions on the lateral surface of the cylinder. We prove existence theorems for solutions and existence theorems for optimal solutions, by reduction to a theorem of Kemochi for reflexive Banach spaces.     

On universality of blow-up profile for <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> critical nonlinear Schrödinger equation

We consider finite time blow-up solutions to the critical nonlinear Schrödinger equation iu_t=-u-|u|^4/Nu with initial condition u₀H¹. Existence of such solutions is known, but the complete blow-up dynamic is not understood so far. For a specific set of initial data, finite time blow-up with a universal sharp upper bound on the blow-up rate has been proved in [22], [23].We establish in this paper the existence of a universal blow-up profile which attracts blow-up solutions in the vicinity of blow-up time. Such a property relies on classification results of a new type for solutions to critical NLS. In particular, a new characterization of soliton solutions is given, and a refined study of dispersive effects of (NLS) in L² will remove the possibility of self similar blow-up in energy space H¹.     

Existence and Asymptotic Behaviour of Large Solutions of Semilinear Elliptic Equations

In this paper we are interested in the semilinear elliptic equations of the type u=u(,u), on bounded smooth domain of R ⁿ . We also treat existence of positive solution of u=p(x)f(u), which explodes near the boundary of (called large solutions). Our approach is based on potential theory.     

Line method approximations to the Cauchy problem for nonlinear parabolic differential equations

Summary The Cauchy problemu _t =f(x, t, u, u _x , u _xx ),u(x, o)=(x),xR, is treated with the longitudinal method of lines. Existence, uniqueness, monotonicity and convergence properties of the line method approximations are investigated under the classical assumption that satisfies an inequality |(x)|<=conste ^{Bx 2} . We obtain generalizations of the works of Kamynin [4], who got similar results in the case of the one dimensional heat equation when is allowed to grow likee ^{Bx 2–}, >0, and of Walter [11], who proved convergence in the case of nonlinear parabolic differential equations under the growth condition |(x)|<=conste ^B |x|     

EXISTENCE OF GLOBAL ATTRACTORS FOR A NONLINEAR EVOLUTION EQUATION IN SOBOLEV SPACE Hk

In this paper we prove that the initial-boundary value problem for the nonlinear evolution equation ut = △u ＋ λu - u^3 possesses a global attractor in Sobolev space H^k for all k≥0, which attracts any bounded domain of H^k（Ω） in the H^k-norm. This result is established by using an iteration technique and regularity estimates for linear semigroup of operator, which extends the classical result from the case k ∈ [0, 1] to the case k∈ [0, ∞）.     

Nonexistence of certain symmetric spherical codes

A spherical 1-codeW is any finite subset of the unit sphere inn dimensionsS ^n–1, for whichd(u, v)1 for everyu, v fromW, uv. A spherical 1-code is symmetric ifuW implies –uW. The best upper bounds in the size of symmetric spherical codes onS ^n–1 were obtained in [1]. Here we obtain the same bounds by a similar method and improve these bounds forn=5, 10, 14 and 22.     

On acceleration methods for coupled nonlinear elliptic systems

Summary We compare both numerically and theoretically three techniques for accelerating the convergence of a nonlinear fixed point iterationuT(u), arising from a coupled elliptic system: Chebyshev acceleration, a second order stationary method, and a nonlinear version of the Generalized Minimal Residual Algorithm (GMRES) which we call NLGMR. All three approaches are implemented in Jacobian-free mode, i.e., only a subroutine which returnsT(u) as a function ofu is required.We present a set of numerical comparisons for the drift-diffusion semiconductor model. For the mappingT which corresponds to the nonlinear block Gauß-Seidel algorithm for the solution of this nonlinear elliptic system, NLGMR is found to be superior to the second order stationary method and the Chebychev acceleration. We analyze the local convergence of the nonlinear iterations in terms of the spectrum [T _u (u ^(*))] of the derivativeT _u at the solutionu ^(*). The convergence of the original iteration is governed by the spectral radius [T _U (u ^(*))]. In contrast, the convergence of the two second order accelerations are related to the convex hull of [T _u (u ^(*))], while the convergence of the GMRES-based approach is related to the local clustering in [I–T _u (u ^(*))]. The spectrum [I–T _u (u ^(*))] clusters only at 1 due to the successive inversions of elliptic partial differential equations inT. We explain the observed superiority of GMRES over the second order acceleration by its ability to take advantage of this clustering feature, which is shared by similar coupled nonlinear elliptic systems.     

BV periodic solutions of an evolution problem associated with continuous moving convex sets

This paper is concerned with BV periodic solutions for multivalued perturbations of an evolution equation governed by the sweeping process (or Moreau's process). The perturbed equation has the form –DuN _C (t)(u(t))+F(t,u(t)), whereC is a closed convex valued continuousT-periodic multifunction from [0,T] to ^d ,N ^C (t)(u(t)) is the normal cone ofC(t) atu(t),F: [0,T]× ^{d d} is a compact convex valued multifunction and Du is the differential measure of the periodic BV solutionu. Several existence results for this differential inclusion are stated under various assumptions on the perturbationF.     

On the Blow-up Criterion of Smooth Solutions to the 3D Ideal MHD Equations

Abstract In this paper, we consider the blow-up of smooth solutions to the 3D ideal MHD equations. Let (u, b) be a smooth solution in (0, T). It is proved that the solution (u, b) can be extended after t = T if . This is an improvement of the result given by Caflisch, Klapper, and Steele [3].