Weakly Nonhydrostatic Effects in Compositionally-Driven Gravity Flows

In the study of compositionally-driven gravity currents it is customary to adopt the hydrostatic assumption for the pressure field which, in turn, leads to a depth-independent horizontal velocity field and significant simpilifications to the governing equations. The hydrostatic assumption is reasonable in, say, the case of a two-layer flow when the depth variations of the lower layer are small when considered as a function of space and time. However, for larger deflections of the interface (such as those caused by bottom topography) the flow will deviate in its behavior from the low aspect ratio, slowly varying purely hydrostatic flow because of the presence of vertical accelerations. In this paper we present an approach to capture the contribution of interface curvature to nonhydrostatic effects in fully time-dependent flows in two-fluid systems. Our approach involves expanding the relevant dependent variables in the form of an asymptotic expansion   f = f ⁽⁰⁾+δ² f ⁽¹⁾+ o (δ²)  , where  0 < δ≪ 1  is the aspect ratio of the flow, and obtaining the first-order correction to hydrostatic theory. Numerical results and comparisions with the purely hydrostatic theory are included.     

Large Time Asymptotic Behaviors for Periodic Solutions of Generalized Burgers Equations With Spherical Symmetry or Linear Damping

Using the method of balancing arguments, large time asymptotic behaviors for the periodic solutions of generalized Burgers equations   u_t  +  u ³ u_x  +  ju /2 t  =δ/2 u_xx   and   u_t  +  u ³ u_x  +λ u  =δ/2 u_xx   subject to the periodic initial condition     and the vanishing boundary conditions   u (0,  t ) =  u ( l ,  t ) = 0,   t  ≥ 0   or    t ₀,  where   A ,  A ₁, δ, λ,  l ,  t ₀, ∈ R ⁺  and   j  = 1, 2  , are obtained.     

Justification of a Perturbation Approximation of the Klein–Gordon Equation

Consider the nonlinear wave equation
u_tt − γ ² u_xx + f(u) = 0
with the initial conditions
u ( x ,0) = εφ ( x ), u _t( x ,0) = εψ ( x ),
where f ( u ) is either of the form f ( u )= c ² u −σ u ^{2 s +1}, s =1, 2,…, or an odd smooth function with f '(0)>0 and | f '( u )|≤ C ₀².The initial data φ( x )∈ C ² and ψ( x )∈ C ¹ are odd periodic functions that have the same period. We establish the global existence and uniqueness of the solution u ( x ,  t ; ɛ), and prove its boundedness in x ∈ R and t >0 for all sufficiently small ɛ>0. Furthermore, we show that the error between the solution u ( x ,  t ; ɛ) and the leading term approximation obtained by the multiple scale method is of the order ɛ³ uniformly for x ∈ R and 0≤ t ≤ T /ɛ², as long as ɛ is sufficiently small, T being an arbitrary positive number.     

Jacobian-determinant equation in the critical Besov spaces

Let Ω be a bounded domain in R~n with smooth boundary. Here we consider the following Jacobian-determinant equation det u(x)=f(x),x∈Ω;u(x)=x,x∈?Ω where f is a function on Ω with min_Ω f = δ 0 and Ωf(x)dx = |Ω|. We prove that if f ∈B_(p1)~(np)(Ω) for some p∈(n,∞), then there exists a solution u ∈ B_(p1)~(np+1)(Ω)C~1(Ω) to this equation. On the other hand, we give a simple example such that u ∈ C_0~1(R~2, R~2) while detu does not lie in B_(p1)~(2p)(R~2) for any p∞.     

On the Stability of the Positive Radial Steady States for a Semilinear Cauchy Problem Involving Critical Exponents

This article is contributed to the Cauchy problem u/t = △u K(ㄧxㄧ)up in Rn x (0,T), u(x,0) =(ψ)(x) in Rn; with initial function(ψ)≠0. The stability of positive radial steady state, which are positive solutions of △u K(ㄧxㄧ)up =0, is obtained when p is critical for general K(ㄧxㄧ).     

An improved approximation algorithm for the asymmetric TSP with strengthened triangle inequality

We consider the asymmetric traveling salesperson problem with γ-parameterized triangle inequality for γ[1/2,1). That means, the edge weights fulfill w(u,v)γ(w(u,x)+w(x,v)) for all nodes u,v,x. Chandran and Ram [L.S. Chandran, L.S. Ram, Approximations for ATSP with parametrized triangle inequality, in: Proc. 19th Int. Symp. on Theoret. Aspects of Comput. Sci. (STACS), in: Lecture Notes in Comput. Sci., vol. 2285, Springer, Berlin, 2002, pp. 227–237] gave the first constant factor approximation algorithm with polynomial running time for this problem. They achieve performance ratio γ/(1−γ). We devise an approximation algorithm with performance ratio (1+γ)/(2−γ−γ³), which is better for γ[0.5437,1), that is, for the particularly interesting large values of γ.     

方程△u+g(|X|)f(u)=0的环上Dirichlet边值问题的多重正对径解

考察了二阶半线性椭圆边值问题△u+g(|X|)f(u)=0,R     

Approximate solution of the Fredholm integral equation of the first kind in a reproducing kernel Hilbert space

An approach for solving Fredholm integral equations of the first kind is proposed for in a reproducing kernel Hilbert space (RKHS). The interest in this problem is strongly motivated by applications to actual prospecting. In many applications one is puzzled by an ill-posed problem in space C[a,b] or L²[a,b], namely, measurements of the experimental data can result in unbounded errors of solutions of the equation. In this work, the representation of solutions for Fredholm integral equations of the first kind is obtained if there are solutions and the stability of solutions is discussed in RKHS. At the same time, a conclusion is obtained that approximate solutions are also stable with respect to _∞ or _L² in RKHS. A numerical experiment shows that the method given in the work is valid.     

Author Index to Volumes 100 and 101: 1998

Through both analytical and numerical methods, we solve the eigenproblem u_zz >+(1/ z −λ−( z −1/ε)²) u =0 on the unbounded interval z ∈[−∞, ∞], where λ is the eigenvalue and u ( z )→0 as | z |→∞. This models an equatorially trapped Rossby wave in a shear flow in the ocean or atmosphere. It is the usual parabolic cylinder equation with Hermite functions as the eigenfunctions except for the addition of an extra term, which is a simple pole. The pole, which is on the interior of the interval, is interpreted as the limit δ→0 of 1/( z − i δ). The eigenfunction has a branch point of the form z  log( z ) at z =0, where the branch cut is on the upper imaginary axis. The eigenvalue is complex valued with an imaginary part, which we show, through matched asymptotics, to be approximately √ π exp(−1/ε²){1−2ε log ε+ε log 2+γε}. Because T ( λ ) is transcendentally small in the small parameter ε, it lies "beyond all orders" in the usual Rayleigh–Schrödinger power series in ε. Nonetheless, we develop special numerical algorithms that are effective in computing T ( λ ) for ε as small as 1/100.     

Large 2P3-free graphs with bounded degree

Let ex^* (D;H) be the maximum number of edges in a connected graph with maximum degree D and no induced subgraph H; this is finite if and only if H is a disjoint union of paths. If the largest component of such an H has order m, then ex^*(D; H) = O(D²ex^*(D; P_m)). Constructively, ex^*(D;qP_m) = Θ(gD²ex^*(D;P_m)) if q>1 and m> 2(Θ(gD²) if m = 2). For H = 2P₃ (and D 8), the maximum number of edges is if D is even and

Full-size image

if D is odd, achieved by a unique extremal graph.     

Separation of partition inequalities with terminals

Given a graph with n nodes each of them having labels equal either to 1 or 2 (a node with label 2 is called a terminal), we consider the (1,2)-survivable network design problem and more precisely, the separation problem for the partition inequalities. We show that this separation problem reduces to a sequence of submodular flow problems. Based on an algorithm developed by Fujishige and Zhang the problem is reduced to a sequence of O(n⁴) minimum cut problems.     

On Characterization of Poisson Integrals of Schrödinger Operators with Morrey Traces

Let L be a Schr?dinger operator of the form L =-Δ + V acting on L~2(R~n) where the nonnegative potential V belongs to the reverse H?lder class B_q for some q ≥ n. In this article we will show that a function f ∈ L~(2,λ)(R~n), 0 λ n, is the trace of the solution of L_u =-u_(tt) + L_u =0, u(x, 0) = f(x), where u satisfies a Carleson type condition sup x_B,r_Br_B~(-λ)∫_0~(rB)∫_(B(x_B,r_B))t|u(x,t)|~2dxdt≤C∞.Its proof heavily relies on investigate the intrinsic relationship between the classical Morrey spaces and the new Campanato spaces L_L~(2,λ)(R~n) associated to the operator L, i.e.L_L~(2,λ)(R~n)=L~(2,λ)(R~n).Conversely, this Carleson type condition characterizes all the L-harmonic functions whose traces belong to the space L~(2,λ)(R~n) for all 0 λ n.     

离散型Lurie控制系统绝对稳定的充分必要条件

本文研究了离散型Lurie控制系统(1)在非线性函数f(σ)满足f(0)=0,σf(σ)>0(σ≠0)(2)或f(0)=0,0≤k₁≤f(σ)/σ≤k₂<+∞(σ≠0)(3)时,零解的绝对稳定性。给出了系统(1)在满足条件(2)时零解绝对稳定的构造性充要条件,并得到了系统(1)的简化系统在满足条件(3)时,绝对稳定的充分及充要判据。     

On the Existence of Positive Solutions of Quasilinear Elliptic Equations with Mixed Boundary Conditions

In this paper, the existence of positive solutions for the mixed boundary problem of quasilinear elliptic equation {-div (|∇u|^{p-2}∇u) = |u|^{p^∗-2}u + f(x, u), \quad u > 0, \quad x ∈ Ω u|_Γ_0 = 0, \frac{∂u}{∂\overrightarrow{n}}|_Γ_1 = 0 is obtained, where Ω is a bounded smooth domain in R^N, ∂Ω = \overrightarrow{Γ}_0 ∪ \overrightarrow{Γ}_1, 2 ≤ p < N, p^∗ = \frac{Np}{N-p}, Γ_0 and Γ_1 are disjoint open subsets of ∂Ω.     

Characterizations of ( m,n )-Jordan Derivations and ( m,n )-Jordan Derivable Mappings on Some Algebras

Let R be a ring, M be a R-bimodule and m, n be two fixed nonnegative integers with m + n = 0. An additive mapping δ from R into M is called an(m, n)-Jordan derivation if(m +n)δ(A~2) = 2 mAδ(A) + 2nδ(A)A for every A in R. In this paper, we prove that every(m, n)-Jordan derivation with m = n from a C*-algebra into its Banach bimodule is zero. An additive mappingδ from R into M is called a(m, n)-Jordan derivable mapping at W in R if(m + n)δ(AB + BA) =2mδ(A)B + 2 mδ(B)A + 2 nAδ(B) + 2 nBδ(A) for each A and B in R with AB = BA = W. We prove that if M is a unital A-bimodule with a left(right) separating set generated algebraically by all idempotents in A, then every(m, n)-Jordan derivable mapping at zero from A into M is identical with zero. We also show that if A and B are two unital algebras, M is a faithful unital(A, B)-bimodule and U = [A M N B] is a generalized matrix algebra, then every(m, n)-Jordan derivable mapping at zero from U into itself is equal to zero.     

General preservers of invariant subspace lattices

Let be the space of all bounded linear operators on a Banach space X and let LatA be the lattice of invariant subspaces of the operator . We characterize some maps with one of the following preserving properties: Lat(Φ(A)+Φ(B))=Lat(A+B), or Lat(Φ(A)Φ(B))=Lat(AB), or Lat(Φ(A)Φ(B)+Φ(B)Φ(A))=Lat(AB+BA), or Lat(Φ(A)Φ(B)Φ(A))=Lat(ABA), or Lat([Φ(A),Φ(B)])=Lat([A,B]).     

Existence and iteration of monotone positive solutions for a third-order two-point boundary value problem

The existence of nondecreasing positive solutions for the nonlinear third-order twopoint boundary value problem u′″（t） ＋ q（t）f（t,u（t）,u′（t）） = 0, 0 〈 t 〈 1, u（0） = u″（0） = u′（1） = 0 is studied. The iterative schemes for approximating the solutions are obtained by applying a monotone iterative method.     

Bäcklund Transformations and Solution Hierarchies for the Third Painlevé Equation

In this article our concern is with the third Painlevé equation
d² y /d x ²= (1/ y )(d y /d x )²− (1/ x )(d y /d x ) + ( αy ²+ β )/ x + γy ³+ δ / y
where α, β, γ, and δ are arbitrary constants. It is well known that this equation admits a variety of types of solution and here we classify and characterize many of these. Depending on the values of the parameters the third Painlevé equation can admit solutions that may be either expressed as the ratio of two polynomials in either x or x ^1/3 or related to certain Bessel functions. It is thought that all exact solutions of (1) can be categorized into one or other of these hierarchies. We show how, given a few initial solutions, it is possible to use the underlying structures of these hierarchies to obtain many other solutions. In addition, we show how this knowledge concerning the continuous third Painlevé equation (1) can be adapted and used to derive exact solutions of a suitable discretized counterpart of (1). Both the continuous and discrete solutions we find are of potential importance as it is known that the third Painlevé equation has a large number of physically significant applications.     

与双调和方程相关的连续模和Heinz-Schwarz型不等式

对于给定的两个正整数n ≥ 2和m ≥ 1，假设函数f满足如下条件：（1）在Bⁿ内满足非齐次双调和方程△（△f）=g（g ∈ C（Bⁿ，R^m））；（2）在S^n-1上满足f=ψ₁（ψ₁ ∈ C（S^n-1，R^m）），以及∂f/∂n=ψ₂（ψ₂ ∈ C（S^n-1，R^m）），其中∂/∂n表示内法线方向导数，Bⁿ表示Rⁿ中的单位球以及S^n-1表示Bⁿ的边界.本文主要研究f的连续模和Heinz-Schwarz型不等式.     

半正的分数阶微分方程(n-1,1)-型积分边值问题的多个正解

采用Riemann-Liouville分数阶导数,研究了半正的分数阶微分方程(n-1,1)-型积分边值问题,获得了参数λ的一个区间,使得λ落在这个区间的时候,该半正的分数阶微分方程边值问题有多个正解.