Search results for "Applied Mathematics"

Weak convergence theorems for asymptotically nonexpansive mappings and semigroups

2001

Enclosure method for the p-Laplace equation

2014

We study the enclosure method for the p-Calder\'on problem, which is a nonlinear generalization of the inverse conductivity problem due to Calder\'on that involves the p-Laplace equation. The method allows one to reconstruct the convex hull of an inclusion in the nonlinear model by using exponentially growing solutions introduced by Wolff. We justify this method for the penetrable obstacle case, where the inclusion is modelled as a jump in the conductivity. The result is based on a monotonicity inequality and the properties of the Wolff solutions.

Delta- and Daugavet points in Banach spaces

2020

AbstractA Δ-pointxof a Banach space is a norm-one element that is arbitrarily close to convex combinations of elements in the unit ball that are almost at distance 2 fromx. If, in addition, every point in the unit ball is arbitrarily close to such convex combinations,xis a Daugavet point. A Banach spaceXhas the Daugavet property if and only if every norm-one element is a Daugavet point. We show that Δ- and Daugavet points are the same inL1-spaces, inL1-preduals, as well as in a big class of Müntz spaces. We also provide an example of a Banach space where all points on the unit sphere are Δ-points, but none of them are Daugavet points. We also study the property that the unit ball is the clo…

Stabilization and lx -gain analysis of switched positive systems with actuator saturation

2014

This paper is concerned with the problems of stability and l 1 -gain analysis for a class of switched positive systems with time-varying delays and actuator saturation. Firstly, a convex hull representation is used to describe the saturation behavior. By constructing a multiple co-positive Lyapunov functional, sufficient conditions are provided for the closed-loop system to be locally asymptotically stable at the origin of the state space under arbitrary switching. Then, the l 1 -gain performance analysis in the presence of actuator saturation is developed. Finally, two numerical examples are provided to demonstrate the effectiveness of the proposed method.

Automated Synthesis of Application-layer Connectors from Automata-based Specifications

2019

Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…

A note on correlation and local dimensions

2015

Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit set of a Moran construction by means of the data used to construct the set.

Dense metrizable subspaces in powers of Corson compacta

2022

We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several remarks about ccc Corson compacta and, as a byproduct, we obtain a new proof of Kunen and van Mill’s characterization of when a Corson compactum supporting a strictly positive measure is metrizable.

Signorini problem with Coulomb's law of friction. Shape optimization in contact problems

1992

Basis-set extrapolation techniques for the accurate calculation of molecular equilibrium geometries using coupled-cluster theory

2006

To reduce remaining basis-set errors in the determination of molecular equilibrium geometries, a basis-set extrapolation (BSE) scheme is suggested for the forces used in geometry optimizations. The proposed BSE scheme is based on separating the Hartree-Fock and electron-correlation contributions and uses expressions obtained by straightforward differentiation of well established extrapolation formulas for energies when using basis sets from Dunning's hierarchy of correlation-consistent basis sets. Comparison with reference data obtained at the R12 coupled-cluster level [CCSD(T)-R12] demonstrates that BSE significantly accelerates the convergence to the basis-set limit, thus leading to impro…

Global conservative and multipeakon conservative solutions for the modified camassa-holm system with coupling effects

2014

Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2014/606249 This paper investigates the continuation of solutions to the modified coupled two-component Camassa-Holm system after wave breaking. The underlying problem is rather challenging due to the mutual coupling effect between two components in the system. By introducing a novel transformation that makes use of a skillfully defined characteristic and a set of newly defined variables, the original system is converted into a Lagrangian equivalent system, from which the global conservative solution is obtained, which further allows for the e…