Lyapunov-type Inequalities for Differential Equations

Let us consider the linear boundary value problem

Representation of Contractive Solutions of a Class of Algebraic Riccati Equations as Characteristic Functions of Maximal Dissipative Operators

Let

Small amplitude waves and stability for a pre-stressed viscoelastic solid

We study the propagation of small amplitude waves superimposed on a large static deformation in a nonlinear viscoelastic material of differential type. We use bulk waves and surface waves to address the questions of dissipation and of material and geometric stability. In particular, the analysis provides bounds on the constitutive parameters and on the predeformation that ensure linearized stability in the neighbourhood of a large pre-stretch. This type of result is relevant to the imaging of biological soft tissues using acoustical techniques, where pre-deformation is known to increase contrast and reduce de-correlation noise. This work was supported by GNFM (Italy) and by an International Joint Project grant awarded jointly by the Royal Society of London (UK) and the CNRS (France).     

Xia Spectrum for Some Class of Operators

In this paper, we introduce Xia spectra of n-tuples of operators satisfying |T ²| ≥ U|T ²|U* for the polar decomposition of T = U|T| and we extend Putnam’s inequality to these tuples [7]. This research is partially supported by Grant-in-Aid Research No.17540176.     

Syzygies of Multi-Variable Higher Spin Dirac Operators on $$\mathbb{R}^{3}$$

This paper is a short report on the generalization of some results of our previous paper [12] to the case of spin j/2 Dirac operators in real dimension three for arbitrary odd integer j. We use an explicit formula for the local expression of such operators to study their algebraic properties, construct the compatibility conditions of the overdetermined system associated to the operator in several spatial variables, and we prove that its associated algebraic complex, dual do the BGG sequence coming from representation theory, has substantially the same pattern as the Cauchy-Fueter complex. The author is a member of the Eduard Čech Center and his research is supported by the relative grants.     

Riesz Systems and Controllability of Heat Equations with Memory

The main result we derive is the proof that a particular set of functions related to the controllability of the heat equation with memory and finite signal speed, with suitable kernel, is a Riesz system. Riesz systems are important tools in applied mathematics, for example for the solution of inverse problems. In this paper we shows that the Riesz system we identify can be used to give a constructive method for the computation of the control steering a given initial condition to a prescribed target.

---

This paper fits into the research program of the GNAMPA-INDAM .     

Fixed point theorems for a class of nonlinear mappings related to maximal monotone operators in Banach spaces

In this paper, the class of nonspreading mappings in Banach spaces is introduced. This class contains the recently introduced class of firmly nonexpansive type mappings in Banach spaces and the class of firmly nonexpansive mappings in Hilbert spaces. Among other things, we obtain a fixed point theorem for a single nonspreading mapping in Banach spaces. Using this result, we also obtain a common fixed point theorem for a commutative family of nonspreading mappings in Banach spaces. Received: 10 August 2007     

A Remark on Support of the Principal Function for Class A Operators

Let be an invertible class A operator such that . Then we show that , where gT is the principal function of T. Moreover, we show that if T is pure, then .     

On approximate solutions to the first initial boundary value problem for the m-Hessian evolution equations

We adapt to degenerate m-Hessian evolution equations the notion of m-approximate solutions introduced by N. Trudinger for m-Hessian elliptic equations, and we present close to necessary and sufficient conditions guaranteeing the existence and uniqueness of such solutions for the first initial boundary value problem. Dedicated to Professor Felix Browder     

Conditions for the spectrum associated with an asymptotically straight leaky wire to contain an interval [− α2/4, ∞)

The method of singular sequences is used to provide a simple and, in some respects, a more general proof of a known spectral result for leaky wires. The method introduces a new concept of asymptotic straightness. Received: 4 October 2007     

Integral Equations on Function Spaces and Dichotomy on the Real Line

The purpose of this paper is to give new and general characterizations for uniform dichotomy and uniform exponential dichotomy of evolution families on the real line. We consider two general classes denoted and and we prove that if V,W are Banach function spaces with and , then the admissibility of the pair for an evolution family implies the uniform dichotomy of . In addition, we consider a subclass and we prove that if , then the admissibility of the pair implies the uniform exponential dichotomy of the family . This condition becomes necessary if . Finally, we present some applications of the main results.     

A General Tractable Density Concept for Graphs

In many applications it is an important algorithmic task to find a densest subgraph in an input graph. The complexity of this task depends on how density is defined. If density means the ratio of the number of edges and the number of vertices in the subgraph, then the algorithmic problem has long been known efficiently solvable. On the other hand, the task becomes NP-hard with closely related but somewhat modified concepts of density. To capture many possible tractable density concepts of interest in a common model, we define and analyze a general concept of density, called F-density. Here F is a family of graphs and we are looking for a subgraph of the input graph, such that this subgraph is the densest in terms of containing the highest number of graphs from F relative to the size of the subgraph. We show that for any fixed finite family F, a subgraph of maximum F-density can be found in polynomial time. As our main tool we develop an algorithm, that may be of independent interest, which can find an independent set of maximum independence ratio in a certain class of weighted graphs. The independence ratio is the weight of the independent set divided by the weight of its neighborhood. This work was supported in part by NSF grants ANI-0220001 and CCF-0634848.     

Testing Sign Conditions on a Multivariate Polynomial and Applications

Let f be a polynomial in of degree D. We focus on testing the emptiness and computing at least one point in each connected component of the semi-algebraic set defined by f > 0 (or f < 0 or f ≠ 0). To this end, the problem is reduced to computing at least one point in each connected component of a hypersurface defined by f − e = 0 for positive and small enough. We provide an algorithm allowing us to determine a positive rational number e which is small enough in this sense. This is based on the efficient computation of the set of generalized critical values of the mapping which is the union of the classical set of critical values of the mapping f and the set of asymptotic critical values of the mapping f. Then, we show how to use the computation of generalized critical values in order to obtain an efficient algorithm deciding the emptiness of a semi-algebraic set defined by a single inequality or a single inequation. At last, we show how to apply our contribution to determining if a hypersurface contains real regular points. We provide complexity estimates for probabilistic versions of the latter algorithms which are within arithmetic operations in . The paper ends with practical experiments showing the efficiency of our approach on real-life applications.      

Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD

We introduce a matrix of traces, attached to a zero dimensional ideal . We show that the matrix of traces can be a useful tool in handling systems of polynomial equations with clustered roots. We present a method based on Dickson’s lemma to compute the “approximate radical” of in which has zero clusters: the approximate radical ideal has exactly one root in each cluster for sufficiently small clusters. Our method is “global” in the sense that it works simultaneously for all clusters: the problem is reduced to the computation of the numerical nullspace of the matrix of traces, a matrix efficiently computable from the generating polynomials of . To compute the numerical nullspace of the matrix of traces we propose to use Gaussian elimination with pivoting or singular value decomposition. We prove that if has k distinct zero clusters each of radius at most ɛ in the ∞-norm, then k steps of Gaussian elimination on the matrix of traces yields a submatrix with all entries asymptotically equal to ɛ². We also show that the (k + 1)-th singular value of the matrix of traces is proportional to ɛ². The resulting approximate radical has one root in each cluster with coordinates which are the arithmetic mean of the cluster, up to an error term asymptotically equal to ɛ². In the univariate case our method gives an alternative to known approximate square-free factorization algorithms which is simpler and its accuracy is better understood. This work was completed with the support of NSF grants CCR-0306406 and CCR-0347506 and OTKA grants T42481 and T42706 and NK63066.     

Positive Schatten(-Herz) Class Toeplitz Operators on Pluriharmonic Bergman Spaces

We study characterizations of arbitrary positive Toeplitz operators of Schatten (or Schatten-Herz) type in terms of averaging functions and Berezin transforms of symbol functions on the ball of pluriharmonic Bergman space. This work was supported by a Hanshin University Research Grant.     

Smoluchowski-Kramers approximation for a general class of SPDEs

We prove that the so-called Smoluchowski-Kramers approximation holds for a class of partial differential equations perturbed by a non-Gaussian noisy term. Namely, we show that the solution of the one-dimensional semi-linear stochastic damped wave equations , u(0) = u₀, u_t (0) = v₀, endowed with Dirichlet boundary conditions, converges as the parameter μ goes to zero to the solution of the semi-linear stochastic heat equation , u(0) = u₀, endowed with Dirichlet boundary conditions. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Multiplicity of Positive Solutions for a Class of Inhomogeneous Neumann Problems Involving the p(x)-Laplacian

We study the existence and multiplicity of positive solutions for the inhomogeneous Neumann boundary value problems involving the p(x)-Laplacian of the form

On groups of type Φ

We define a group G to be of type Φ if it has the property that for every -module G, proj. G < ∞ iff proj. H G < ∞ for every finite subgroup H of G. We conjecture that the type Φ is an algebraic characterization of those groups G which admit a finite dimensional model for , the classifying space for the family of the finite subgroups of G. We also conjecture that the type Φ is equivalent to spli being finite, where spli is the supremum of the projective lengths of the injective -modules. Here we prove certain parts of these conjectures. The project is cofounded by the European Social Fund and National Resources–EPEAK II–Pythagoras. Received: 21 June 2006     

Optimization by the Homogenization Method for Nonlinear Elliptic Dirichlet Systems

We study the existence of solutions of control problems relative to a nonlinear elliptic system with Dirichlet boundary conditions. In this problem, the control variables are the coefficients of the equations and the open set where they are posed. It is known that this class of problems has no solution in general, but using homogenization results about elliptic systems we show the existence of solutions when the controls are searched in a bigger set. These results are related to the selection of optimal materials and shapes.     

Integral Representations for Generalized Difference Kernels Having a Finite Number of Negative Squares

An integral representation is derived for matrix-valued generalized difference kernels which have a finite number of negative squares. The representation is used to extend such kernels to the real line with a bound on the number of negative squares. The main results are obtained by means of an operator interpolation theorem. The nondegenerate case is assumed.