Search results for "Bounded function"
showing 10 items of 508 documents
The Factorization Method for Electrical Impedance Tomography in the Half-Space
2008
We consider the inverse problem of electrical impedance tomography in a conducting half-space, given electrostatic measurements on its boundary, i.e., a hyperplane. We first provide a rigorous weak analysis of the corresponding forward problem and then develop a numerical algorithm to solve an associated inverse problem. This inverse problem consists of the reconstruction of certain inclusions within the half-space which have a different conductivity than the background. To solve the inverse problem we employ the so-called factorization method of Kirsch, which so far has only been considered for the impedance tomography problem in bounded domains. Our analysis of the forward problem makes u…
A radiation condition for the 2-D Helmholtz equation in stratified media
2009
We study the 2-D Helmholtz equation in perturbed stratified media, allowing the existence of guided waves. Our assumptions on the perturbing and source terms are not too restrictive. We prove two results. Firstly, we introduce a Sommerfeld-Rellich radiation condition and prove the uniqueness of the solution for the studied equation. Then, by careful asymptotic estimates, we prove the existence of a bounded solution satisfying our radiation condition.
Monotonicity and local uniqueness for the Helmholtz equation
2017
This work extends monotonicity-based methods in inverse problems to the case of the Helmholtz (or stationary Schr\"odinger) equation $(\Delta + k^2 q) u = 0$ in a bounded domain for fixed non-resonance frequency $k>0$ and real-valued scattering coefficient function $q$. We show a monotonicity relation between the scattering coefficient $q$ and the local Neumann-Dirichlet operator that holds up to finitely many eigenvalues. Combining this with the method of localized potentials, or Runge approximation, adapted to the case where finitely many constraints are present, we derive a constructive monotonicity-based characterization of scatterers from partial boundary data. We also obtain the local…
A note on Sobolev isometric immersions below W2,2 regularity
2017
Abstract This paper aims to investigate the Hessian of second order Sobolev isometric immersions below the natural W 2 , 2 setting. We show that the Hessian of each coordinate function of a W 2 , p , p 2 , isometric immersion satisfies a low rank property in the almost everywhere sense, in particular, its Gaussian curvature vanishes almost everywhere. Meanwhile, we provide an example of a W 2 , p , p 2 , isometric immersion from a bounded domain of R 2 into R 3 that has multiple singularities.
The Gravity Lagrangian According to Solar System Experiments
2005
In this work we show that the gravity lagrangian f(R) at relatively low curvatures in both metric and Palatini formalisms is a bounded function that can only depart from the linearity within the limits defined by well known functions. We obtain those functions by analysing a set of inequalities that any f(R) theory must satisfy in order to be compatible with laboratory and solar system observational constraints. This result implies that the recently suggested f(R) gravity theories with nonlinear terms that dominate at low curvatures are incompatible with observations and, therefore, cannot represent a valid mechanism to justify the cosmic speed-up.
Global-to-local incompatibility, monogamy of entanglement, and ground-state dimerization: Theory and observability of quantum frustration in systems …
2015
Frustration in quantum many body systems is quantified by the degree of incompatibility between the local and global orders associated, respectively, to the ground states of the local interaction terms and the global ground state of the total many-body Hamiltonian. This universal measure is bounded from below by the ground-state bipartite block entanglement. For many-body Hamiltonians that are sums of two-body interaction terms, a further inequality relates quantum frustration to the pairwise entanglement between the constituents of the local interaction terms. This additional bound is a consequence of the limits imposed by monogamy on entanglement shareability. We investigate the behavior …
INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES
1996
We consider inductive inference of total recursive functions in the case, when produced hypotheses are allowed some finite number of times to change “their mind” about each value of identifiable function. Such type of identification, which we call inductive inference of limiting programs with bounded number of mind changes, by its power lies somewhere between the traditional criteria of inductive inference and recently introduced inference of limiting programs. We consider such model of inductive inference for EX and BC types of identification, and we study • tradeoffs between the number of allowed mind changes and the number of anomalies, and • relations between classes of functions ident…
First passage time distribution of stationary Markovian processes
2010
The aim of this paper is to investigate how the correlation properties of a stationary Markovian stochastic processes affect the First Passage Time distribution. First Passage Time issues are a classical topic in stochastic processes research. They also have relevant applications, for example, in many fields of finance such as the assessment of the default risk for firms' assets. By using some explicit examples, in this paper we will show that the tail of the First Passage Time distribution crucially depends on the correlation properties of the process and it is independent from its stationary distribution. When the process includes an infinite set of time-scales bounded from above, the FPT…
A formal model based on Game Theory for the analysis of cooperation in distributed service discovery
2016
New systems can be designed, developed, and managed as societies of agents that interact with each other by offering and providing services. These systems can be viewed as complex networks where nodes are bounded rational agents. In order to deal with complex goals, they require cooperation of the other agents to be able to locate the required services. The aim of this paper is formally and empirically analyze under which circumstances cooperation emerges in decentralized search of services. We propose a repeated game model that formalizes the interactions among agents in a search process where agents are free to choose between cooperate or not in the process. Agents make decisions based on…
A note on symmetry reduction for circular traveling tournament problems
2011
Abstract The traveling tournament problem (TTP) consists of finding a distance-minimal double round-robin tournament where the number of consecutive breaks is bounded. Easton et al. (2001) introduced the so-called circular TTP instances, where venues of teams are located on a circle. The distance between neighboring venues is one, so that the distance between any pair of teams is the distance on the circle. It is empirically proved that these instances are very hard to solve due to the inherent symmetry. This note presents new ideas to cut off essentially identical parts of the solution space. Enumerative solution approaches, e.g. relying on branch-and-bound, benefit from this reduction. We…