中文
相关论文

相关论文: An axiomatic look at a windmill

200 篇论文

The rich non-linear dynamics of the coupled oscillators (under second harmonic injection) can be leveraged to solve computationally hard problems in combinatorial optimization such as finding the ground state of the Ising Hamiltonian. While…

最优化与控制 · 数学 2023-10-17 Mohammad Khairul Bashar , Zongli Lin , Nikhil Shukla

Given an elliptic operator $P$ on a non-compact manifold (with proper asymptotic conditions), there is a discrete set of numbers called indicial roots. It's known that $P$ is Fredholm between weighted Sobolev spaces if and only if the…

微分几何 · 数学 2017-02-21 Yuanqi Wang

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…

泛函分析 · 数学 2023-11-27 Bas Lemmens , Hent van Imhoff , Onno van Gaans

In this work we study the asymptotic behavior of solutions of the incompressible two-dimensional Euler equations in the exterior of a single smooth obstacle when the obstacle becomes very thin tending to a curve. We extend results by…

偏微分方程分析 · 数学 2015-05-13 Christophe Lacave

We give an algorithm for the class of second order unification problems in which second order variables have at most one occurrence.

计算机科学中的逻辑 · 计算机科学 2023-09-06 Gilles Dowek

In this paper, we give a bijective proof of the reduced lecture hall partition theorem. It is possible to extend this bijection in lecture hall partition theorem. And refined versions of each theorems are also presented.

组合数学 · 数学 2015-04-17 Masanori Ando

We study the regularity of weak solutions to the 3D valued stationary Hall magnetohydrodynamic equations on $ \Bbb R^2$. We prove that every weak solution is smooth. Furthermore, we prove a Liouville type theorem for the Hall equations.

偏微分方程分析 · 数学 2017-08-23 Dongho Chae , Joerg Wolf

Starting from an integral projective variety $Y$ equipped with a very ample, non-special and not-secant defective line bundle $\mathcal{L}$, the paper establishes, under certain conditions, the regularity of $(Y \times \mathbb…

代数几何 · 数学 2023-12-05 Edoardo Ballico , Alessandra Bernardi , Tomasz Mańdziuk

The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…

代数几何 · 数学 2007-05-23 Alberto Alzati , Fabio Tonoli

In this short note we provide a quantitative version of the classical Runge approximation property for second order elliptic operators. This relies on quantitative unique continuation results and duality arguments. We show that these…

偏微分方程分析 · 数学 2017-08-22 Angkana Rüland , Mikko Salo

We consider an optimal control problem governed by an elliptic variational inequality of the second kind. The problem is discretized by linear finite elements for the state and a variational discrete approach for the control. Based on a…

数值分析 · 数学 2020-11-25 Christian Meyer , Monika Weymuth

The aim of this paper is to investigate the use of an entropic projection method for the iterative regularization of linear ill-posed problems. We derive a closed form solution for the iterates and analyze their convergence behaviour both…

最优化与控制 · 数学 2020-01-29 Martin Burger , Elena Resmerita , Martin Benning

Inspired by a planar partitioning problem involving multiple improper chambers, this article investigates using classical techniques what can be said of the existence, uniqueness, and regularity of minimizers in a certain free-endpoint…

偏微分方程分析 · 数学 2023-08-09 Stanley Alama , Lia Bronsard , Silas Vriend

If A and B are two points in the plane, with B lower and to the right of A, then we may consider the trajectory of an object travelling from A to B under the influence of gravity. The search for the trajectory minimising the time taken by…

最优化与控制 · 数学 2012-11-14 Rodney Coleman

One of the remarkable notions in the recent development of quantum physics is the weak value related to weak measurements. We emulate it as a two-time conditional expectation in a classical stochastic model. We use the well known…

统计力学 · 物理学 2017-08-23 Hiroyuki Tomita

We are interested in existence results for second order differential inclusions, involving finite number of unilateral constraints in an abstract framework. These constraints are described by a set-valued operator, more precisely a proximal…

经典分析与常微分方程 · 数学 2010-03-10 Frederic Bernicot , Aline Lefebvre-Lepot

The porous medium equation (PME) is a typical nonlinear degenerate parabolic equation. An energetic variational approach has been studied in a recent work [6], in which the trajectory equation is obtained, and a few first order accurate…

数值分析 · 数学 2020-06-23 Chenghua Duan , Wenbin Chen , Chun Liu , Cheng Wang , Xingye Yue

We consider orthogonal polynomials with respect to the weight $|z^2+a^2|^{cN}e^{-N|z|^2}$ in the whole complex plane. We obtain strong asymptotics and the limiting normalized zero counting measure (mother body) of the orthogonal polynomials…

经典分析与常微分方程 · 数学 2026-03-24 Mario Kieburg , Arno B. J. Kuijlaars , Sampad Lahiry

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

计算机科学中的逻辑 · 计算机科学 2011-11-15 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis

Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization of the simplest one and formally prove its convergence in…

计算机科学中的逻辑 · 计算机科学 2011-11-10 Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond , Pierre Weis