Strange conserved quantities for the wave equation for elastic membranes

In this letter, we examine conservation laws for the vibrating membrane which arise from Noether's Theorem. We show that for linear membranes Noether's Theorem gives conservation laws which appear to contradict the basic assumptions on the model. We then show that the appropriate interpretation of these laws must follow from the nonlinear theory.     

Unique continuation for solutions to pde's; between hörmander's theorem and holmgren' theorem

We prove a new unique continuation result for solutions to partial differential equations, “interpolating” between Holmgren's Theorem and Hörmander's Theorem. More precisely, under some partial analyticity assumptions on the coefficients we obtain an intermediate unique continuation result which is in general weaker than Holmgren's Theorem (which applies to problems with analytic coefficients) but stronger than Hörmander's Theorem (which applies to problems with C¹ coefficients). Some applications to the wave and the Schroedinger equation are considered next. In particular we obtain a result conjectured by Hörmander, namely that for the wave equation with C¹ but time independent coefficients one has unique continutaion across any noncharacteristic surface.     

Line congruences as surfaces in the space of lines

The space of lines in R³ can be viewed as a four dimensional homogeneous space of the group of Euclidean motions, E(3). Line congruences arise in the classical method of transforming one surface to another by lines. These transformations are particularly interesting if some geometric property of the original surface is preserved. Line congruences, then, are two parameter families of lines and can be studied as surfaces in the space of lines. In this paper, we use the method of moving frames to study line congruences. We calculate the first order invariants of line congruences for which there are two real focal surfaces, and give the geometric meaning of these invariants. We look specifically at the case where the two first order invariants are constant and give a simple proof of Bäcklund's Theorem which relates to the transformation of one pseudospherical surface, a surface of constant negative Gaussian curvature, to another. These transformations are of interest since pseudospherical surfaces correspond to solutions to the sine-Gordon equation. We also give a proof of Bianchi's permutability theorem for pseudospherical surfaces in this context. Finally, we use the results of these theorems to generate some pseudospherical surfaces. All of these concepts and results are understood in terms of the structure equations of the line congruence.     

Maps on Ultrametric Spaces,Hensel's Lemma,and Differential Equations Over Valued Fields

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multidimensional Hensel's Lemma follow from our result. We give an easy proof that the latter holds in every henselian field. We also prove a basic infinite-dimensional Implicit Function Theorem. Further, we apply the criterion to deduce various versions of Hensel's Lemma for polynomials in several additive operators, and to give a criterion for the existence of integration and solutions of certain differential equations on spherically complete valued differential fields, for both valued D-fields in the sense of Scanlon, and differentially valued fields in the sense of Rosenlicht. We modify the approach so that it also covers logarithmic-exponential power series fields. Finally, we give a criterion for a sum of spherically complete subgroups of a valued abelian group to be spherically complete. This in turn can be used to determine elementary properties of power series fields in positive characteristic.     

Symmetries,Conservation Laws,and Noether's Theorem for Differential‐Difference Equations

This paper mainly contributes to the extension of Noether's theorem to differential‐difference equations. For this purpose, we first investigate the prolongation formula for continuous symmetries, which makes a characteristic representation possible. The relations of symmetries, conservation laws, and the Fréchet derivative are also investigated. For nonvariational equations, because Noether's theorem is now available, the self‐adjointness method is adapted to the computation of conservation laws for differential‐difference equations. Several differential‐difference equations are investigated as illustrative examples, including the Toda lattice and semidiscretizations of the Korteweg–de Vries (KdV) equation. In particular, the Volterra equation is taken as a running example.     

Earthquakes and circle packings

We prove that earthquakes on hyperbolic surfaces can be approximated by discrete earthquakes constructed using circle packings. Consequently, we obtain a combinatorial version of Thurston’s Earthquake Theorem. Any surface can be approximated by combinatorial earthquakes of a packable surface. This provides a controlled combinatorial method for deforming hyperbolic surfaces.     

Greenberg Approximation and the Geometry of Arc Spaces

We study the differential properties of generalized arc schemes and geometric versions of Kolchin's Irreducibility Theorem over arbitrary base fields. As an intermediate step, we prove an approximation result for arcs by algebraic curves.     

One class of MHD equations: Conservation laws and exact solutions

The paper analyzes one of the models of equations of magnetohydrodynamics (MHD) derived earlier. The model was obtained as a result of group classification of the MHD equations in mass Lagrangian coordinates, where all dependent variables in Eulerian coordinates depend on time and two spatial coordinates. The use of Lagrangian coordinates made it possible to solve four equations, which led to the form of reduced equations containing four arbitrary functions: entropy and a three-dimensional vector associated with the magnetic field. The objective of this work is to develop conservation laws and exact solutions for the model. Conservation laws are obtained using Noether's theorem, while exact solutions are obtained either explicitly or by solving a system of ordinary or partial differential equations with two independent variables. Numerical methods are employed for the latter solutions.     

New exact solutions and conservation laws of a class of Kuramoto Sivashinsky (KS) equations

Lie symmetry method is used to perform detailed analysis on a class of KS equations. It is shown that the Lie algebra of the equation spanned by the vector fields of dilations in time and space are lost as a result of the linearity of the equation when n = 1. Symmetry reductions are carried out using each member of the optimal system. The reduced equations are further studied to obtain certain general solutions. Moreover, the conserved vectors are obtained through the application of Noether's theorem.     

Singularities on Free Surfaces of Fluid Flows

Isolated singularities on free surfaces of two-dimensional and axially symmetric three-dimensional steady potential flows with gravity are considered. A systematic study is presented, where known solutions are recovered and new ones found. In two dimensions, the singularities found include those described by the Stokes solution with a 120° angle, Craya's flow with a cusp on the free surface, Gurevich's flow with a free surface meeting a rigid plane at 120° angle, and Dagan and Tulin's flow with a horizontal free surface meeting a rigid wall at an angle less than 120°. In three dimensions, the singularities found include those in Garabedian's axially symmetric flow about a conical surface with an approximately 130° angle, flows with axially symmetric cusps, and flows with a horizontal free surface and conical stream surfaces. The Stokes, Gurevich, and Garabedian flows are exact solutions. These are used to generate local solutions, including perturbations of the Stokes solution by Grant and Longuet-Higgins and Fox, perturbations of Gurevich's flow by Vanden-Broeck and Tuck, asymmetric perturbations of Stokes flow and nonaxisymmetric perturbations of Garabedian's flow. A generalization of the Stokes solution to three fluids meeting at a point is also found.     

带临界指数增长的拟线性椭圆型方程的多解性

本文利用山路定理、Ekeland变分准则结合Trudinger-Moser不等式,证明了一类非线性项带临界指数增长的拟线性方程至少存在两个正的弱解.     

Comments on “A note on “A novel approach to multi attribute group decision making based on trapezoidal interval type-2 fuzzy soft sets””

In a recently published paper “A note on “A novel approach to multi attribute group decision making based on trapezoidal interval type-2 fuzzy soft sets””, Khalil and Hassan pointed out that assertions (3) and (4) of Theorem 3.2 in our previous paper “A novel approach to multi attribute group decision making based on trapezoidal interval type-2 fuzzy soft sets” are not true [2]. Furthermore, they introduced the notions of a generalized trapezoidal interval type-2 fuzzy soft subset and a generalized trapezoidal interval type-2 fuzzy soft equal and used these two notions to correct the flaw in assertions (3) and (4) of Theorem 3.2 in our previous paper. In this paper, we show by a counterexample that Khalil and Hassan's correction is incorrect and provide the modified versions of assertions (3) and (4) of Theorem 3.2, along with a strict proof. In addition, Khalil and Hassan pointed out by a counterexample that assertions (3)–(6) of Theorem 3.5 in our paper are not true and proposed the corrections of those assertions. In this paper, we show that Khalil and Hassan's counterexample and corrections are incorrect and provide a new example to verify the inaccuracies of assertions (3) and (5) of Theorem 3.5 in our paper. Moreover, we offer the modified versions of assertions (3) and (5) of Theorem 3.5 and prove them. Finally, Khalil and Hassan's statement that assertions (4) and (6) of Theorem 3.5 in our previous paper are not true is proven to be incorrect, i.e. assertions (4) and (6) of Theorem 3.5 in our previous paper are true.     

Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory

Rice's Theorem says that every nontrivia semantic property of programs is undecidable. In this spirit we show the following: Every nontrivia absolute (gap, relative) counting property of circuits is UP‐hard with respect to polynomial‐time Turing reductions. For generators [31] we show a perfect analogue of Rice's Theorem.     

Non-classical laws with conserved quantities from the arbitrary functions included in general solution to elasticity and application

The general solution to static and/or dynamic linear elasticity is a transformation between the displacements and new arbitrary functions, whose conservativeness depends on some independent partial differential equations (PDEs) satisfied by the new arbitrary functions. Zhang's general solutions are mathematically appropriate since the displacements are expressed in terms of two new arbitrary functions, and the sum of the highest order derivative added together from the independent PDEs satisfied by the two new arbitrary functions is the same as that of Navier–Cauchy equations. Therefore, the following points should be emphasized: (i) the independent PDEs come from the Laplace and D'Alembert operators acting on the two new arbitrary functions in static and dynamic general solutions, respectively, and it is found that the two new arbitrary functions are related to the rotations, first strain invariant and distortion; (ii) especially, conservation laws constructed from the equations satisfied by the spatial integrals of functions hold true, although some arbitrary functions of the spatial integrals have been canceled. Based on these facts, since Noether's identity not only can be applied to a Lagrangian but also can be used to construct a functional for widespread PDEs, the functionals relating to the rotations, first strain invariant and distortion are constructed with arbitrary integer order spatial derivative or integral, and the conservation laws follow. This kind of non-classical conservation laws does not come from the Lagrangian density of an elastic body and belongs to the deep-level natures of symmetries of elastic field derived by standard techniques. Availability is shown by two examples, from which the field intensity of a vertical load applied to the surface of an elastic half-space and the path-independent integrals in a coordinate system moving with Galilean transformation are presented for comparison.     

Invariant variational principles and conservation laws for some nonlinear partial differential equations with variable coefficients part II

The conservation laws via Noether's theorem have been derived for a coupled system of nonlinear partial differential equations (NLPDEs) which modelling physical phenomena represented by the generalized Korteweg–de Vries equation, the variable coefficients nonlinear Korteweg–de Vries equation and the variable coefficients nonlinear Schrödinger's equation. For proving the efficiency of the technique under consideration the stable and unstable nonlinear Schrödinger's equations have been examined for the conservation laws.     

Harmonic Maps on Hadamard Surfaces

Suppose (,g) is a simply connected, complete and noncompact surface. We call it is aHadamard surface if its Gaussian curwature is between two negative constants. By the Uniformization Theorem, we know that such surfaces are always conformal to 2-dAn hyperbolicspaces (D, ds2p). Here D is the unit disc on the plane or the upper half plane, and ds2p is thePoincare metric on it. In this note, we are interested in the Dirichlet problem of harmonic mapson such surfaces.Due to the conformal invar…     

An alternative proof of lower bounds for the first eigenvalue on manifolds

Recently, Andrews and Clutterbuck [1] gave a new proof of the optimal lower eigenvalue bound on manifolds via modulus of continuity for solutions of the heat equation. In this short note, we give an alternative proof of Theorem 2 in [1]. More precisely, following Ni's method (Section 6 of [5]), we give an elliptic proof of this theorem.     

三调和三角B\'ezier曲面设计

偏微分方程曲面设计,是由给定边界条件出发构造满足偏微分方程的曲面.本文基于三调和方程,提出三类边界条件,分别通过求解线性方程组,给出三调和三角形B\''ezier曲面的设计方法.证明了在这些边界条件下,生成曲面的唯一性,并分别给出具体曲面设计算法.通过实例验证了本文结论的有效性,并对三种边界条件进行对比分析.     

A Discrete Laplace–Beltrami Operator for Simplicial Surfaces

We define a discrete Laplace–Beltrami operator for simplicial surfaces (Definition 16). It depends only on the intrinsic geometry of the surface and its edge weights are positive. Our Laplace operator is similar to the well known finite-elements Laplacian (the so called “cotan formula”) except that it is based on the intrinsic Delaunay triangulation of the simplicial surface. This leads to new definitions of discrete harmonic functions, discrete mean curvature, and discrete minimal surfaces. The definition of the discrete Laplace–Beltrami operator depends on the existence and uniqueness of Delaunay tessellations in piecewise flat surfaces. While the existence is known, we prove the uniqueness. Using Rippa’s Theorem we show that, as claimed, Musin’s harmonic index provides an optimality criterion for Delaunay triangulations, and this can be used to prove that the edge flipping algorithm terminates also in the setting of piecewise flat surfaces. Research for this article was supported by the DFG Research Unit 565 “Polyhedral Surfaces” and the DFG Research Center Matheon “Mathematics for key technologies” in Berlin.