On the Invariant Fields and Rings of Some Groups of Polynomial Automorphisms

Abstract

We consider the group G of C-automorphisms of C(x, y) (resp. C[x, y]) generated by s, t such that t(x) = y, t(y) = x and s(x) = x, s(y) = ? y + u(x) where u ∈ C[x] is of degree k ≥ 2. Using Galois's theory, we show that the invariant field and the invariant algebra of G are equal to C.     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

Envelope viscosity solutions of first- and second-order PDEs with u-dependence

General envelope methods are introduced which may be used to embed equations with u-dependence into equations without solution dependence. Furthermore, these methods present a rigorous way to consider so-called nodal solutions. That is, if w(t,x,z) is the viscosity solution of some pde, the nodal solution of an associated pde is a function u(t,x) so that w(t,x,u(t,x)) = 0. Examples are given to first- and second-order pdes arising in optimal control, differential games, minimal time problems, scalar conservation laws, geometric-type equations, and forward backward stochastic control.     

Group Laws [x,y −1] ≡ u(x,y) and Varietal Properties

Let F = ?x, y? be a free group. It is known that the commutator [x, y ^?1] cannot be expressed in terms of basic commutators, in particular in terms of Engel commutators. We show that the laws imposing such an expression define specific varietal properties. For a property 𝒫 we consider a subset U(𝒫) ? F such that every law of the form [x, y ^?1] ≡ u, u ∈ U(𝒫) provides the varietal property 𝒫. For example, we show that each subnormal subgroup is normal in every group of a variety 𝔙 if and only if 𝔙 satisfies a law of the form [x, y ^?1] ≡ u, where u ∈ [F′, ?x?].     

Nilpotent Jacobians in dimension three

In this paper we completely classify all polynomial maps of the form H=(u(x,y),v(x,y,z),h(u(x,y),v(x,y,z))) with JH nilpotent.     

A new sufficient condition for Hamiltonian graphs

The study of Hamiltonian graphs began with Dirac’s classic result in 1952. This was followed by that of Ore in 1960. In 1984 Fan generalized both these results with the following result: If G is a 2-connected graph of order n and max{d(u),d(v)}≥n/2 for each pair of vertices u and v with distance d(u,v)=2, then G is Hamiltonian. In 1991 Faudree–Gould–Jacobson–Lesnick proved that if G is a 2-connected graph and |N(u)∪N(v)|+δ(G)≥n for each pair of nonadjacent vertices u,v∈V(G), then G is Hamiltonian. This paper generalizes the above results when G is 3-connected. We show that if G is a 3-connected graph of order n and max{|N(x)∪N(y)|+d(u),|N(w)∪N(z)|+d(v)}≥n for every choice of vertices x,y,u,w,z,v such that d(x,y)=d(y,u)=d(w,z)=d(z,v)=d(u,v)=2 and where x,y and u are three distinct vertices and w,z and v are also three distinct vertices (and possibly |{x,y}∩{w,z}| is 1 or 2), then G is Hamiltonian.     

A Symmetric Presentation for J 1

Abstract

We give a computer-free proof that the sporadic simple group J ₁ is a isomorphic to the progenitor 2*⁵ : A ₅ factorized over a single relation. Precisely, we prove that J ₁ is defined by the presentation ?x, y, t ∣ x ⁵ = y ³ = (xy)² = 1 = t ² = [y, t] = [y, t ^{x 3} ] = (xt)⁷?.     

On global transformations of ordinary differential equations of the second order

The paper describes the general form of an ordinary differential equation of the second order which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Weak Solutions to Stochastic Wave Equations with Values in Riemannian Manifolds

Let M be a compact Riemannian manifold. We prove existence of a global weak solution of the stochastic wave equation D _t u _t  = D _x u _x  + (X _u  + λ₀(u)u _t  + λ₁(u)u _x )[Wdot] where X is a continuous vector field on M, λ₀ and λ₁ are continuous vector bundles homomorphisms from TM to TM, and W is a spatially homogeneous Wiener process on ? with finite spectral measure. We use recently introduced general method of constructing weak solutions of SPDEs that does not rely on any martingale representation theorem.     

Asymptotic behaviour of three-dimensional singularly perturbed convection-diffusion problems with discontinuous data

We consider three singularly perturbed convection-diffusion problems defined in three-dimensional domains: (i) a parabolic problem −?(uxx+uyy)+ut+v₁ux+v₂uy=0 in an octant, (ii) an elliptic problem −?(uxx+uyy+uzz)+v₁ux+v₂uy+v₃uz=0 in an octant and (iii) the same elliptic problem in a half-space. We consider for all of these problems discontinuous boundary conditions at certain regions of the boundaries of the domains. For each problem, an asymptotic approximation of the solution is obtained from an integral representation when the singular parameter ?→⁰⁺. The solution is approximated by a product of two error functions, and this approximation characterizes the effect of the discontinuities on the small ?− behaviour of the solution and its derivatives in the boundary layers or the internal layers.     

Singularity Formation for a System of Conservation Laws in Two Space Dimensions

We study singularity formation for the 2×2 systemu_t+(u²)_x+(uv)_y=0 andv_t+(uv)_x+(v²)_y=0. Our analysis is based on the argument, due to J. Keller and L. Ting (1966,Comm. Pure. Appl. Math.19, 371–420), about the evolution along a characteristic of the compression rate of nearby characteristics. This system is one of a class of systems, called partially aligned, which exhibit a degenerate characteristic structure where a pair of directions replaces the usual cone at every point.     

Induced path transit function, monotone and Peano axioms

The induced path transit function J(u,v) in a graph consists of the set of all vertices lying on any induced path between the vertices u and v. A transit function J satisfies monotone axiom if x,y∈J(u,v) implies J(x,y)⊆J(u,v). A transit function J is said to satisfy the Peano axiom if, for any u,v,w∈V,x∈J(v,w), y∈J(u,x), there is a z∈J(u,v) such that y∈J(w,z). These two axioms are equivalent for the induced path transit function of a graph. Planar graphs for which the induced path transit function satisfies the monotone axiom are characterized by forbidden induced subgraphs.     

Fourth-order finite difference method for 2D parabolic partial differential equations with nonlinear first-derivative terms

We attempt to obtain a two-level implicit finite difference scheme using nine spatial grid points of O(k² + kh² + h⁴) for solving the 2D nonlinear parabolic partial differential equation v₁u_xx + v₂u_yy = f(x, y, t, u, u_x, u_y, u₁) where v₁ and v₂ are positive constants, with Dirichlet boundary conditions. The method, when applied to a linear diffusion-convection problem, is shown to be unconditionally stable. Computational efficiency and the results of numerical experiments are discussed.     

Nonhomogeneous waring equations

It is proved that for an arbitrary positive integer k the equation n=x²+y²+z³+u³+v⁴+w¹⁴+t^4k+1 has a positive integer solution for all sufficiently large n. Bibliography: 6 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 65–68.     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Triple Homomorphisms of Perfect Lie Algebras

Let L, L′ be Lie algebras over a commutative ring R. A R-linear mapping f: L → L′ is called a triple homomorphism from L to L′ if f([x, [y, z]]) = [f(x), [f(y), f(z)]] for all x, y, z ∈ L. It is clear that homomorphisms, anti-homomorphisms, and sums of homomorphisms and anti-homomorphisms are all triple homomorphisms. We proved that, under certain assumptions, these are all triple homomorphisms.     

Lower Bounds on the Blow-Up Rate of the Axisymmetric Navier–Stokes Equations II

Consider axisymmetric strong solutions of the incompressible Navier–Stokes equations in ?³ with non-trivial swirl. Let z denote the axis of symmetry and r measure the distance to the z-axis. Suppose the solution satisfies, for some 0 ≤ ε ≤ 1, |v (x, t)| ≤ C _? r ^?1+ε |t|^?ε/2 for ? T ₀ ≤ t < 0 and 0 < C _? < ∞ allowed to be large. We prove that v is regular at time zero.     

Controllability of stochastic systems with random delay

The object of the present paper is to study the stability behavior of a nonlinear stochastic differential system with random delay of the form ?(t; ω), ω; u(t)) + ?? (t, ω) ?(z(t — y(t; ω); ω) where ω ω, the supporting set of a probability measure space (ω, A, P), x(t, ω) in an n-dimensional random function; u(t) is an m-dimensional control vector, A(t, ω) in an n X p matrix function and ø in a p-dimensional random function defined on R^p X ω and y(t, ω) is a random delay with z(t, ω) being a p-dimensional observation vector defined a specific way. Conditions are given that guarantee the existence of an admissible control u, under the influence of which the sample paths of the stochastic system can be guided arbitrarily close to the origin with an assigned probability.     

A new highly accurate discretization for three‐dimensional singularly perturbed nonlinear elliptic partial differential equations

We employ a new fourth‐order compact finite difference formula based on arithmetic average discretization to solve the three‐dimensional nonlinear singularly perturbed elliptic partial differential equation ε(u_xx + u_yy + u_zz) = f(x, y, z, u, u_x, u_y, u_z), 0 < x, y, z < 1, subject to appropriate Dirichlet boundary conditions prescribed on the boundary, where ε > 0 is a small parameter. We also describe new fourth‐order methods for the estimates of (?u/?x), (?u/?y), and (?u/?z), which are quite often of interest in many physical problems. In all cases, we require only a single computational cell with 19 grid points. The proposed methods are directly applicable to solve singular problems without any modification. We solve three test problems numerically to validate the proposed derived fourth‐order methods. We compare the advantages and implementation of the proposed methods with the standard central difference approximations in the context of basic iterative methods. Numerical examples are given to verify the fourth‐order convergence rate of the methods. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2006