English
Related papers

Related papers: End Cover for Initial Value Problem: Complete Vali…

200 papers

This article proves the completeness of an axiomatization for initial value problems (IVPs) with compact initial conditions and compact time horizons for bounded open safety, open liveness and existence properties. Completeness…

Logic in Computer Science · Computer Science 2025-12-03 André Platzer , Long Qian

This paper studies the initial-boundary-value problem (IBVP) of a nonlinear Schr\"odinger equation posed on a strip domain $\mathbb{R}\times[0,1]$ with non-homogeneous Dirichlet boundary conditions. For any $s\ge0$, if the initial data…

Analysis of PDEs · Mathematics 2017-02-10 Yu Ran , Shu-Ming Sun

An initial-boundary value problem for a time-fractional subdiffusion equation with an arbitrary order elliptic differential operator is considered. Uniqueness and existence of the classical solution of the posed problem are proved by the…

General Mathematics · Mathematics 2020-06-16 Ravshan Ashurov , Oqila Muhiddinova

We propose a first order algorithm, a modified version of FISTA, to solve an optimization problem with an objective function that is a sum of a possibly nonconvex function, with Lipschitz continuous gradient, and a convex function which can…

Optimization and Control · Mathematics 2025-08-20 Chee-Khian Sim

Well-conditioned boundary integral methods for the solution of elliptic boundary value problems (BVPs) are powerful tools for static and dynamic physical simulations. When there are many close-to-touching boundaries (eg, in complex fluids)…

Numerical Analysis · Mathematics 2021-09-21 David B. Stein , Alex H. Barnett

A boundary value problem associated to the difference equation with advanced argument \begin{equation} \label{*}\Delta\bigl (a_{n}\Phi(\Delta x_{n})\bigr)+b_{n}\Phi(x_{n+p} )=0,\ \ n\geq1 \tag{$*$} \end{equation} is presented, where…

Classical Analysis and ODEs · Mathematics 2025-04-18 Zuzana Došlá , Mauro Marini , Serena Matucci

Consider the problem of minimizing an expected logarithmic loss over either the probability simplex or the set of quantum density matrices. This problem includes tasks such as solving the Poisson inverse problem, computing the…

Optimization and Control · Mathematics 2024-03-12 Chung-En Tsai , Hao-Chung Cheng , Yen-Huan Li

Coverings of convex bodies have emerged as a central component in the design of efficient solutions to approximation problems involving convex bodies. Intuitively, given a convex body $K$ and $\epsilon> 0$, a covering is a collection of…

Computational Geometry · Computer Science 2023-03-16 Sunil Arya , Guilherme D. da Fonseca , David M. Mount

We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the…

Differential Geometry · Mathematics 2022-09-13 Christian Baer , Lashi Bandara

We consider the boundary value problems (BVPs) for linear secondorder ODEs with a strongly positive operator coefficient in a Banach space. The solutions are given in the form of the infinite series by means of the Cayley transform of the…

Numerical Analysis · Mathematics 2020-07-06 V. L. Makarov , N. V. Mayko

We prove existence, uniqueness and regularity results for mixed boundary value problems associated with fully nonlinear, possibly singular or degenerate elliptic equations. Our main result is a global H\"older estimate for solutions,…

Analysis of PDEs · Mathematics 2021-04-07 Isabeau Birindelli , Francoise Demengel , Fabiana Leoni

We prove a number of \textit{a priori} estimates for weak solutions of elliptic equations or systems with vertically independent coefficients in the upper-half space. These estimates are designed towards applications to boundary value…

Classical Analysis and ODEs · Mathematics 2014-06-26 Pascal Auscher , Sebastian Stahlhut

In this work we present a method, based on the use of Bernstein polynomials, for the numerical resolution of some boundary values problems. The computations have not need of particular approximations of derivatives, such as finite…

Numerical Analysis · Mathematics 2025-10-20 Gianluca Argentini

This paper introduces a fast and numerically stable algorithm for the solution of fourth-order linear boundary value problems on an interval. This type of equation arises in a variety of settings in physics and signal processing. Our method…

Numerical Analysis · Computer Science 2020-01-13 William Leeb , Vladimir Rokhlin

In this contribution we present recent developments in the formulation and solution of Initial Boundary Value Problems (IBVPs). Building upon a modern variational action formulation of classical dynamics, we treat Initial Boundary Value…

Numerical Analysis · Mathematics 2026-04-14 Alexander Rothkopf , W. A. Horowitz , Jan Nordström

The initial-boundary value problem (IBVP) for the Maxwell-Bloch equations with an arbitrary inhomogeneous broadening and periodic boundary condition is studied. This IBVP describes the propagation of an electromagnetic wave generated by…

Dynamical Systems · Mathematics 2023-12-14 Maria Filipkovska

In this paper we present a new bound obtained with the probabilistic method for the solution of the Set Covering problem with unit costs. The bound is valid for problems of fixed dimension, thus extending previous similar asymptotic…

Combinatorics · Mathematics 2014-07-18 Giovanni Felici , Sokol Ndreca , Aldo Procacci , Benedetto Scoppola

We study well-posedness of boundary value problems of Dirichlet and Neumann type for elliptic systems on the upper half-space with coefficients independent of the transversal variable, and with boundary data in fractional…

Analysis of PDEs · Mathematics 2017-07-26 Alex Amenta , Pascal Auscher

We consider the complement value problem for a class of second order elliptic integro-differential operators. Let $D$ be a bounded Lipschitz domain of $\mathbb{R}^d$. Under mild conditions, we show that there exists a unique bounded…

Probability · Mathematics 2019-12-10 Wei Sun

We report a new analytical method for solution of a wide class of second-order differential equations with eigenvalues replaced by arbitrary functions. Such classes of problems occur frequently in Quantum Mechanics and Optics. This approach…

Mathematical Physics · Physics 2012-04-30 Sina Khorasani