Computable Carathéodory Theory

The conformal Riemann mapping of the unit disk onto a simply-connected domain W is a central object of study in classical Complex Analysis. The first complete proof of the Riemann Mapping Theorem given by P. Koebe in 1912 is constructive, and theoretical aspects of computing the Riemann map have been extensively studied since. Carathéodory Theory describes the boundary extension of the Riemann map. In this paper we develop its constructive version with explicit complexity bounds.     

A new algorithmic method for finding the Carathéodory extremal maps

In this paper we construct a new algorithmic method for finding Carathéodory extremal maps for some balanced domains including complex ellipsoids.     

Carathéodory selections for multivalued mappings

We prove the existence of a Carathéodory selection for a set-valued mapping satisfying standard conditions. Also, an application to random fixed point for random operators is established.     

On bounded solutions of nonlinear first- and second-order equations with a Carathéodory function

In the paper we study the existence and uniqueness of bounded solutions for differential equations of the form: x^′−Ax=f(t,x), x^″−Ax=f(t,x), where A∈L(Rm), is a Carathéodory function and the homogeneous equations x^′−Ax=0, x^″−Ax=0 have nontrivial solutions bounded on R. Using a perturbation of the equations, the Leray-Schauder Topological Degree and Fixed Point Theory, we overcome the difficulty that the linear problems are non-Fredholm in any reasonable Banach space.     

Controlled extensions of Carathéodory functions

In this paper we present two theorems on controlled extensions of Carathéodory functions. We obtain our results from corresponding ones for continuous functions by means of the Marczewski function.     

Polyhedra with the Integer Carathéodory Property

A polyhedron P has the Integer Carathéodory Property if the following holds. For any positive integer k and any integer vector w∈kP, there exist affinely independent integer vectors x₁,…,xt∈P and positive integers n₁,…,nt such that n₁+?+nt=k and w=n₁x₁+?+ntxt.In this paper we prove that if P is a (poly)matroid base polytope or if P is defined by a totally unimodular matrix, then P and projections of P have the Integer Carathéodory Property. For the matroid base polytope this answers a question by Cunningham from 1984.     

Invariant subspaces for operators whose spectra are Carathéodory regions

In this paper it is shown that if an operator T satisfies ‖p(T)‖?‖p_‖σ(T) for every polynomial p and the polynomially convex hull of σ(T) is a Carathéodory region whose accessible boundary points lie in rectifiable Jordan arcs on its boundary, then T has a nontrivial invariant subspace. As a corollary, it is also shown that if T is a hyponormal operator and the outer boundary of σ(T) has at most finitely many prime ends corresponding to singular points on ∂D and has a tangent at almost every point on each Jordan arc, then T has a nontrivial invariant subspace.     

Estimates of the Carathéodory metric on the symmetrized polydisc

Estimates for the Carathéodory metric on the symmetrized polydisc are obtained. It is also shown that the Carathéodory and Kobayashi distances of the symmetrized three-disc do not coincide.     

The Euler scheme and its convergence for impulsive delay differential equations

This paper presents a fixed stepsize Euler scheme for linear impulsive delay differential equations and considers its convergence. We propose a method to take the partition nodes for the Euler scheme. Employing the induction and the technique of inequality, we obtain the order of convergence for Euler scheme. An example is given to illustrate the efficiency of our result.     

Carathéodory bounds for integer cones

We provide analogues of Carathéodory's theorem for integer cones and apply our bounds to integer programming and to the cutting stock problem. In particular, we provide an NP certificate for the latter, whose existence has not been known so far.     

On existence of integrable solutions of a functional integral equation under Carathéodory conditions

We study the solvability of a functional integral equation in the space of Lebesgue integrable functions on an unbounded interval. Using the conjunction of the technique of measures of weak noncompactness with the classical Schauder fixed point principle we show that the equation in question is solvable in the mentioned function space. Our existence result is obtained under the assumption that functions involved in the investigated functional integral equation satisfy Carathéodory conditions. Moreover, that result generalizes several ones obtained earlier in many research papers and monographs.     

Global existence theory and chaos control of fractional differential equations

In this paper, the initial value problem for a class of fractional differential equations is discussed, which generalizes the existent result to a wide class of fractional differential equations. Also the theoretical result established in the paper ensures the validity of chaos control of fractional differential equations. In particular, feed-back control of chaotic fractional differential equation is theoretically investigated and the fractional Lorenz system as a numerical example is further provided to verify the analytical result.     

Time-adaptive Adomian decomposition-based numerical scheme for Euler equations

Time efficiency is one of the more critical concerns in computational fluid dynamics simulations of industrial applications. Extensive research has been conducted to improve the underlying numerical schemes to achieve time process reduction. Within this context, this paper presents a new time discretization method based on the Adomian decomposition technique for Euler equations. The obtained scheme is time-order adaptive; the order is automatically adjusted at each time step and over the space domain, leading to significant processing time reduction. The scheme is formulated in an appropriate recursive formula, and its efficiency is demonstrated through numerical tests by comparison to exact solutions and the popular Runge–Kutta-discontinuous Galerkin method.     

Euler scheme and measurable flows for stochastic differential equations with non-Lipschitz coefficients

For a stochastic differential equation with non-Lipschitz coefficients, we construct, by Euler scheme, a measurable flow of the solution, and we prove the solution is a Markov process.     

On differential equations for orthogonal polynomials on the unit circle

In this paper we characterize sequences of orthogonal polynomials on the unit circle whose corresponding Carathéodory function satisfies a Riccati differential equation with polynomial coefficients, in terms of second order matrix differential equations. In the semi-classical case, a characterization in terms of second order linear differential equations with polynomial coefficients is deduced.     

Carathéodory's method for a class of second order differential equations on the half-line

The method of equivalent variational methods, originally due to Carathéodory for free problems in the calculus of variations is extended to investigate boundary value problems for a class of second order differential equations on the half-line. Some applications are presented to illustrate the potential of this method.     

A stable semi-discrete central scheme for the two-dimensional incompressible Euler equations

^** Email: dlevy{at}math.stanford.edu We derive a second-order, semi-discrete central-upwind schemefor the incompressible 2D Euler equations in the vorticity formulation.The reconstructed velocity field preserves an exact discreteincompressibility relation. We state a local maximum principlefor a fully discrete version of the scheme and prove it usinga convexity argument. We then show how similar convexity argumentscan be used to prove that the scheme maps certain Orlicz spacesinto themselves. The consequences of this result on the convergenceof the scheme are discussed. Numerical simulations support theexpected properties of the scheme.     

Mean-square stability of semi-implicit Euler method for nonlinear neutral stochastic delay differential equations

There are few results on the numerical stability of nonlinear neutral stochastic delay differential equations (NSDDEs). The aim of this paper is to establish some new results on the numerical stability for nonlinear NSDDEs. It is proved that the semi-implicit Euler method is mean-square stable under suitable condition. The theoretical result is also confirmed by a numerical experiment.     

Sandwich-type theorem for Carathéodory multifunctions

In this paper we present a sandwich-type theorem for Carathéodory multifunctions. We obtain our result by means of the Marczewski function.