Related papers: A positive solution to Hilbert's 10th problem

The analysis of Tikhonov regularization for nonlinear ill-posed equations with smoothness promoting penalties is an important topic in inverse problem theory. With focus on Hilbert scale models, the case of oversmoothing penalties, i.e.,…

The choice of the parameter value for regularized inverse problems is critical to the results and remains a topic of interest. This article explores a criterion for selecting a good parameter value by maximizing the probability of the data,…

Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6.…

A class of inverse problems for restoring the right-hand side of a parabolic equation for a large class of positive operators with discrete spectrum is considered. The results on existence and uniqueness of solutions of these problems as…

Our purpose is to find positive solutions $u \in D^{1,2}(\rz^N)$ of the semilinear elliptic problem $-\laplace u - \lambda V(x) u = h(x) u^{p-1}$ for $2<p$. The functions $V$ and $h$ may have an indefinite sign and the linearized operator…

Our original results refer to multivariate recurrences: discrete multitime diagonal recurrence, bivariate recurrence, trivariate recurrence, solutions tailored to particular situations, second order multivariate recurrences, characteristic…

In this paper we the formulation of inverse problems as constrained minimization problems and their iterative solution by gradient or Newton type. We carry out a convergence analysis in the sense of regularization methods and discuss…

It is shown that the first $n$ prime numbers $p_1,...,p_n$ determine the next one by the recursion equation $$ p_{n+1} =\lim\limits_{s\to +\infty} [\prod\limits^n_{k=1} (1-\frac{1}{p^s_k}) \sum\limits^\infty_{j=1} \frac{1}{j^s} -1]^{-1/s}.…

In this paper, we used the principle of sieve function transformation to improve sieve method and the prime number theorem in the arithmetic sequence.For this, we proved General Riemann Hypothesis and Riemann Hypothesis to be true. further,…

We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, lies in the counting hierarchy. More generally, we show that…

Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

Given a lower-triangular matrix of real numbers, one can ask the following four total-positivity questions: total positivity of the triangle itself; total positivity of its row-reversal; Toeplitz-total positivity of its row sequences…

We study the existence and multiplicity of positive solutions for a nonlinear fourth-order two-point boundary value problem. The approach is based on critical point theorems in conical shells, Krasnoselskii's compression-expansion theorem,…

Using a multiple critical points theorem for locally Lipschitz continuous functionals, we establish the existence of at least three distinct solutions for a parametric discrete differential inclusion problem involving a real symmetric and…

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical…

The article deals with iterative methods of solving linear operator equations $x = Bx + f$ and $Ax = f$ with self-adjoint operators in Hilbert space $X$ in critical case when $\rho(B) = 1$ and $0 \in {\rm Sp}\, A$. The main results are…

Polynomial convergence bounds are considered for left, right, and split preconditioned GMRES. They include the cases of Weighted and Deflated GMRES for a linear system Ax = b. In particular, the case of positive definite A is considered.…

For family $x'=(a_0+a_1\cos t+a_2 \sin t)|x|+b_0+b_1 \cos t+b_2 \sin t$, we solve three basic problems related with its dynamics. First, we characterize when it has a center (Poincar\'e center focus problem). Second, we show that each…

In recent developments, a general approach for solving Riemann--Hilbert problems numerically has been developed. We review this numerical framework, and apply it to the calculation of orthogonal polynomials on the real line. Combining this…