Variable neighborhood search for extremal graphs. 22. Extending bounds for independence to upper irredundance

A set of vertices S in a graph G is independent if no neighbor of a vertex of S belongs to S. A set of vertices U in a graph G is irredundant if each vertex v of U has a private neighbor, which may be v itself, i.e., a neighbor of v which is not a neighbor of any other vertex of U. The independence number α (resp. upper irredundance number IR) is the maximum number of vertices of an independent (resp. irredundant) set of G. In previous work, a series of best possible lower and upper bounds on α and some other usual invariants of G were obtained by the system AGX 2, and proved either automatically or by hand. These results are strengthened in the present paper by systematically replacing α by IR. The resulting conjectures were tested by AGX which could find no counter-example to an upper bound nor any case where a lower bound could not be shown to remain tight. Some proofs for the bounds on α carry over. In all other cases, new proofs are provided.     

Diagrams,Tensors and Geometric Reasoning

Geometry and in particular projective geometry (and its corresponding invariant theory) deals a lot with structural properties of geometric objects and their interrelations. This papers describes how concepts of tensor calculus can be used to express geometric invariants and how, in particular, diagrammatic notation can be used to deal with invariants in a highly intuitive way. In particular we explain how geometries like euclidean or spherical geometry can be dealt with in this framework. Dedicated to the memory of Victor Klee, and in particular to his striving for conceptual simplicity     

Edge-boundary problems with singular trace conditions

The ellipticity of boundary value problems on a smooth manifold with boundary relies on a two-component principal symbolic structure , consisting of interior and boundary symbols. In the case of a smooth edge on manifolds with boundary, we have a third symbolic component, namely, the edge symbol , referring to extra conditions on the edge, analogously as boundary conditions. Apart from such conditions ‘in integral form’ there may exist singular trace conditions, investigated in Kapanadze et al., Internal Equations and Operator Theory, 61, 241–279, 2008 on ‘closed’ manifolds with edge. Here, we concentrate on the phenomena in combination with boundary conditions and edge problem.     

Invariant approximations in CAT(0) spaces

Some common fixed point and invariant approximation results for CAT(0) spaces are obtained. Our results improve and extend some results of Shahzad and Markin [N. Shahzad, J. Markin, Invariant approximation for commuting mappings in hyperconvex and CAT(0) spaces, J. Math. Anal. Appl. 337 (2008) 1457–1464] and Dhompongsa, Kaewkhao, and Panyanak [S. Dhompongsa, A. Kaewkhao, B. Panyanak, Lim’s theorem for multivalued mappings in CAT(0) spaces, J. Math. Anal. Appl. 312 (2005) 478–487].     

Invariant submodels and exact solutions of Khokhlov–Zabolotskaya–Kuznetsov model of nonlinear hydroacoustics with dissipation

We study three-dimensional Khokhlov–Zabolotskaya–Kuznetsov (KZK) model of the nonlinear hydroacoustics with dissipation. This model is described by third order quasilinear partial differential equation of the (KZK). We obtained that the (KZK) equation admits an infinite Lie group of the transformations, depending on the three arbitrary functions. This is due to the fact that in the (KZK) model the main direction of the wave’s propagation is singled out. The submodels of the (KZK) model.are described by the invariant solutions of the (KZK) equation. We studied essentially distinct, not linked by means of the point transformations, invariant solutions of rank 0 and 1 of this equation. Also we considered the invariant solutions of rank 2 and 3. The invariant solutions of rank 0 and 1 are found either explicitly, or their search is reduced to the solution of the nonlinear integro-differential equations. For example, we obtained the invariant solutions that we called by “Ultrasonic knife” and “Ultrasonic destroyer”. The submodel “Ultrasonic knife” have the following property: at each fixed moment of the time in the field of the existence of the solution near a some plane the pressure increases indefinitely and becomes infinite on this plane. The submodel “Ultrasonic destroyer” contains a countable number of “Ultrasonic knives”. The presence of the arbitrary constants in the integro-differential equations, that determine invariant solutions of rank 1 provides a new opportunities for analytical and numerical study of the boundary value problems for the received submodels, and, thus, for the original (KZK) model. With a help of these invariant solutions we researched a propagation of the intensive acoustic waves (one-dimensional, axisymmetric and planar) for which the acoustic pressure, speed and acceleration of its change, or the acoustic pressure , speed and acceleration of its change in the radial direction, or the acoustic pressure, speed and acceleration of its change in the direction of one of the axes are specified at the initial moment of the time at a fixed point. Under the certain additional conditions, we established the existence and the uniqueness of the solutions of boundary value problems, describing these wave processes. Mechanical relevance of the obtained solutions is as follows: (1) these solutions describe nonlinear and diffraction effects in ultrasonic fields of a special kind, (2) these solutions can be used as a test solutions in the numerical calculations performed in studies of ultrasonic fields generated by powerful emitters. Application of the obtained formula generating the new solutions for the found solutions gives families of the solutions containing three arbitrary functions.     

Invariant solutions in a channel flow using a minimal restricted nonlinear model

Simulations using a Restricted Nonlinear (RNL) system, where mean flow distortion resulting from Reynolds stress feedback regenerates rolls, is applied in a channel flow under subcritical conditions. This quasi-linear restriction of the dynamics is used to study invariant solutions located in the bulk of the flow found recently by Rawat et al. (2016) [14]. It is shown that the RNL system truncated to a single streamwise mode for the perturbation supports invariant solutions that are found to bifurcate from a relative periodic orbit into a travelling wave solution when the spanwise size is increasing. In particular, the travelling wave solution exhibits a spanwise localized structure that remains unchanged for large values of the spanwise extent as the invariant solution lying on the lower branch found by Rawat et al. (2016) [14]. In addition, travelling wave solutions provided by this minimal RNL system are self-similar with respect to the Reynolds number based on the centreline velocity, and the half-channel height varying from 2000 to 5000.     

Generating Function Methods for Coefficient-Varying Generalized Hamiltonian Systems

The generating function methods have been applied successfully to generalized Hamiltonian systems with constant or invertible Poisson-structure matrices. In this paper, we extend these results and present the generating function methods preserving the Poisson structures for generalized Hamiltonian systems with general variable Poisson-structure matrices. In particular, some obtained Poisson schemes are applied efficiently to some dynamical systems which can be written into generalized Hamiltonian systems (such as generalized Lotka-Volterra systems, Robbins equations and so on).     

Invariant Measures for Nonlinear Conservation Laws Driven by Stochastic Forcing

Some recent developments in the analysis of long-time behaviors of stochastic solutions of nonlinear conservation laws driven by stochastic forcing are surveyed. The existence and uniqueness of invariant measures are established for anisotropic degenerate parabolic-hyperbolic conservation laws of second-order driven by white noises. Some further developments, problems, and challenges in this direction are also discussed.     

Adaptive Wavelet BEM for Boundary Integral Equations: Theory and Numerical Experiments

We are concerned with the numerical treatment of boundary integral equations by the adaptive wavelet boundary element method. In particular, we consider the second kind Fredholm integral equation for the double layer potential operator on patchwise smooth manifolds contained in ?³. The corresponding operator equations are treated by adaptive implementations that are in complete accordance with the underlying theory. The numerical experiments demonstrate that adaptive methods really pay off in this setting. The observed convergence rates fit together very well with the theoretical predictions based on the Besov regularity of the exact solution.