Related papers: Riemann surface of complex logarithm and multiplic…

We prove Cauchy's formula for repeated integration on time scales. The obtained relation gives rise to new notions of fractional integration and differentiation on arbitrary nonempty closed sets.

We outline an unified introduction to the evolution equations of classical and quantum systems intended for a high school students audience. The attempt consists in circumventing the lack of mathematical knowledge with the use of simplified…

We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent…

Nonlinear analysis has played a prominent role in the recent developments in geometry and topology. The study of the Yang-Mills equation and its cousins gave rise to the Donaldson invariants and more recently, the Seiberg-Witten invariants.…

A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…

We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussion of the relation to other approaches.

We use the method of higher order linearization to study an inverse boundary value problem for the minimal surface equation on a Riemannian manifold $(\mathbb{R}^n,g)$, where the metric $g$ is conformally Euclidean. In particular we show…

Numerous problems in optics, quantum physics, stability analysis, and control of dynamical systems can be brought to an optimization problem with matrix variable subjected to the symplecticity constraint. As this constraint nicely forms a…

We propose a new iteration scheme, the Cauchy-Simplex, to optimize convex problems over the probability simplex $\{w\in\mathbb{R}^n\ |\ \sum_i w_i=1\ \textrm{and}\ w_i\geq0\}$. Specifically, we map the simplex to the positive quadrant of a…

Optimization problems with access to only zeroth-order information of the objective function on Riemannian manifolds arise in various applications, spanning from statistical learning to robot learning. While various zeroth-order algorithms…

We develop a rigorous theoretical framework for principal manifold estimation that recovers a latent low-dimensional manifold from a point cloud observed in a high-dimensional ambient space. Our framework accommodates manifolds with…

This paper gives an overview of several key innovations in the 19th century which led to complex geometry in the 20th century. This includes the creation of the complex plane, the work of Abel on addition theorems for generalized elliptic…

We investigate the Cauchy problem for linear elliptic operators with $C^\infty$-coefficients at a regular set $\Omega \subset R^2$, which is a classical example of an ill-posed problem. The Cauchy data are given at the manifold $\Gamma…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

In this paper we study the Cauchy problem for diffusion equations associated to a class of strongly hypoelliptic pseudo-differential operators on graded Lie groups. To do so, we develop a global complex functional calculus on graded Lie…

In this paper, we first define the complexification of a real analytic map between real analytic Koszul manifolds and show that the complexified map is the holomorphic extension of the original map. Next we define an anti-Kaehler metric…

Let (M,J) be a minimal compact complex surface of Kaehler type. It is shown that the smooth 4-manifold M admits a Riemannian metric of positive scalar curvature iff (M,J) admits a KAEHLER metric of positive scalar curvature. This extends…

We introduce the linear operators of fractional integration and fractional differentiation in the framework of the Riemann-Liouville fractional calculus. Particular attention is devoted to the technique of Laplace transforms for treating…

There have been many proposed forms of fractional calculus, which can be grouped into a few broad classes of operators. By replacing the kernel of the power function with another kernel function, the traditional Riemann-Liouville formula…

This paper develops a discrete theory of real Riemann surfaces based on quadrilateral cellular decompositions (quad-graphs) and a linear discretization of the Cauchy-Riemann equations. We construct a discrete analogue of an antiholomorphic…