Inverse problems for stationary Navier-Stokes systems

An inverse problem for a nonlinear equation in a Hilbert space is considered in which the right-hand side that is a linear combination of given functionals is found from given values of these functionals on the solution. Sufficient conditions for the existence of a solution are established, and the solution set is shown to be homeomorphic to a finite-dimensional compact set. A boundary inverse problem for the three-dimensional thermal convection equations for a viscous incompressible fluid and an inverse magnetohydrodynamics problem are considered as applications.     

On the Variational Approach to Systems of Quasilinear Conservation Laws

The paper contains results concerning the development of a new approach to the proof of existence theorems for generalized solutions to systems of quasilinear conservation laws. This approach is based on reducing the search for a generalized solution to analyzing extremal properties of a certain set of functionals and is referred to as a variational approach. The definition of a generalized solution can be naturally reformulated in terms of the existence of critical points for a set of functionals, which is convenient within the approach proposed. The variational representation of generalized solutions, which was earlier known for Hopf-type equations, is generalized to systems of quasilinear conservation laws. The extremal properties of the functionals corresponding to systems of conservation laws are described within the variational approach, and a strategy for proving the existence theorem is outlined. In conclusion, it is shown that the variational approach can be generalized to the two-dimensional case.     

Positive periodic solution for a multispecies competition-predator system with Holling III functional response and time delays

In this paper, a delayed multispecies ecological competition-predator system with Holling-III functional response is studied. By using the continuation theorem of coincidence degree theory and constructing suitable Lyapunov functionals, some sufficient conditions are derived for the existence, uniqueness and global asymptotic stability of positive periodic solutions to the system.     

Minimization of Gerstewitz functionals extending a scalarization by Pascoletti and Serafini

Scalarization in vector optimization is often closely connected to the minimization of Gerstewitz functionals. In this paper, the minimizer sets of Gerstewitz functionals are investigated. Conditions are given under which such a set is nonempty and compact. Interdependencies between solutions of problems with different parameters or with different feasible point sets are shown. Consequences for the parameter control in scalarization methods are proved. It is pointed out that the minimization of Gerstewitz functionals is equivalent to an optimization problem which generalizes the scalarization by Pascoletti and Serafini. The results contain statements about minimizers of certain Minkowski functionals and norms. Some existence results for solutions of vector optimization problems are derived.     

Cascade search principle and its applications to the coincidence problems of n one-valued or multi-valued mappings

The problem of the construction of a multi-cascade with a given limit subset A is considered in a metric space X. A multi-cascade is a discrete multi-valued dynamic system with the translation semigroup (Z?0,+). The cascade search principle using so-called search functionals is suggested. It gives a solution of the problem. Also, an estimation is obtained for the distance between any initial point x and every correspondent limit point. Several applications of one-valued and multi-valued versions of the mentioned cascade search principle are given for the cases when the limit subset A is (1) the full (or expanded) preimage of a closed subspace under a mapping from X to another metric space; (2) the coincidence set (or expanded coincidence set) of n mappings from X to another metric space (n>1); (3) the common preimage (or the expanded one) of a closed subspace under n mappings; and (4) the common fixed point set of n mappings of the space X into itself (n?1). Generalizations of the previous authors results are obtained. And, in particular cases, generalizations of some recent results by A.V. Arutyunov on coincidences of two mappings and a generalization of Banach fixed point principle are obtained.     

Lower semicontinuous functionals with uniform sublevel sets

In this paper, lower semicontinuous functionals with uniform sublevel sets are investigated, where the sublevel sets are linear shifts of a set in a fixed direction. The extended real-valued functionals are defined on a topological vector space. Conditions are given under which they are proper, finite-valued, continuous, convex, sublinear, strictly quasi-convex, strictly quasi-concave or monotone. We apply the functionals to the separation of not necessarily convex sets.     

Non-differentiable variational principles

We develop a calculus of variations for functionals which are defined on a set of non-differentiable curves. We first extend the classical differential calculus in a quantum calculus, which allows us to define a complex operator, called the scale derivative, which is the non-differentiable analogue of the classical derivative. We then define the notion of extremals for our functionals and obtain a characterization in term of a generalized Euler-Lagrange equation. We finally prove that solutions of the Schrödinger equation can be obtained as extremals of a non-differentiable variational principle, leading to an extended Hamilton's principle of least action for quantum mechanics. We compare this approach with the scale relativity theory of Nottale, which assumes a fractal structure of space-time.     

On the uniqueness of the coincidence index on orientable differentiable manifolds

The fixed point index of topological fixed point theory is a well studied integer-valued algebraic invariant of a mapping which can be characterized by a small set of axioms. The coincidence index is an extension of the concept to topological (Nielsen) coincidence theory. We demonstrate that three natural axioms are sufficient to characterize the coincidence index in the setting of continuous mappings on oriented differentiable manifolds, the most common setting for Nielsen coincidence theory.     

A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity () given in [1] uses a choice functional (which is not a definable set function of (). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in . This yields the following characterization: The class of -definable set functions of coincides with the collection of set functionals of type 1 primitive recursive in . Received: 26 August 1998     

Determining functionals for the microwave heating system

The notion of determining functionals for cocycles is introduced. A theorem on the existence of a finite set of determining functionals for a certain class of cocycles defined on the product of a Hilbert and a metric space is given. The cocycle generated by weak solutions of the one-dimensional microwave heating system is constructed. Under additional assumptions, the existence of a finite set of determining functionals for this cocycle is proved.     

Methods for Evaluating Density Functions of Exponential Functionals Represented as Integrals of Geometric Brownian Motion

The purpose of this paper is to present a survey on Yor's formula on the probability densities of the exponential functionals represented as integrals in time of geometric Brownian motions and to present results on numerical computations for the densities. We perform the computations via another formula for the densities obtained by Dufresne and we show numerically the desired coincidence in some cases. As an application, we compute the price of an Asian option. AMS 2000 Subject Classification: 65C50, 60J65     

On energy functionals, Kähler-Einstein metrics, and the Moser-Trudinger-Onofri neighborhood

We prove that the existence of a Kähler-Einstein metric on a Fano manifold is equivalent to the properness of the energy functionals defined by Bando, Chen, Ding, Mabuchi and Tian on the set of Kähler metrics with positive Ricci curvature. We also prove that these energy functionals are bounded from below on this set if and only if one of them is. This answers two questions raised by X.-X. Chen. As an application, we obtain a new proof of the classical Moser-Trudinger-Onofri inequality on the two-sphere, as well as describe a canonical enlargement of the space of Kähler potentials on which this inequality holds on higher-dimensional Fano Kähler-Einstein manifolds.     

Minimization of entropy functionals

Entropy (i.e. convex integral) functionals and extensions of these functionals are minimized on convex sets. This paper is aimed at reducing as much as possible the assumptions on the constraint set. Primal attainment, dual equalities, dual attainment and characterizations of the minimizers are obtained with weak constraint qualifications. These results improve several aspects of the literature on the subject.     

A scheme for constructing algorithms for correcting a local perturbation in a finite semimetric

A three-step scheme for constructing algorithms for transforming metric information in data mining is proposed and investigated. The correction problem of a local perturbation of a semimetric on a finite set of objects is considered. In the framework of the proposed scheme, algorithms correcting the changes of the distance between a pair of objects by a given quantity that preserve the metric properties are examined. Sufficient conditions under which the correction of semimetrics using the proposed three-step scheme actually completes in two steps and in some special cases even after the first step are obtained. Semimetric similarity functionals are considered, and the correction algorithms are matched to those functionals.     

On the duality mapping sets in abstract M-spaces

This paper is devoted to give a characterization of support functionals and duality mappings in abstract M spaces. By investigating some properties of support functionals, criteria for the (weak) compactness of the duality mapping set at any point in such spaces are obtained.     

Minimization of convex functionals over frame operators

We present results about minimization of convex functionals defined over a finite set of vectors in a finite-dimensional Hilbert space, that extend several known results for the Benedetto-Fickus frame potential. Our approach depends on majorization techniques. We also consider some perturbation problems, where a positive perturbation of the frame operator of a set of vectors is realized as the frame operator of a set of vectors which is close to the original one.     

Low for random reals and positive-measure domination

The low for random reals are characterized topologically, as well as in terms of domination of Turing functionals on a set of positive measure.

     

Singular symmetric functionals and stabilizing subspaces of Marcinkiewicz spaces

We consider Marcinkiewicz spaces of functions measurable on a semiaxis that admit a wide set of singular symmetric Dixmier functionals. For elements of these spaces we study the measurability property introduced by A. Connes. We establish that this property is closely connected with the Tauberian property (which is more strong) but is not reduced to it. We specify the maximal subspace of the Marcinkiewicz space such that for its elements both properties are equivalent. We prove that this subspace is not reducible to other known subspaces of the Marcinkiewicz space and that it plays an important role in the theory of Dixmier functionals.     

A non-local approximation of free discontinuity problems in SBV and SBD

We consider a class of functionals which are defined in the spaces SBV and SBD and which do not depend on the traces u^± on the set of discontinuity points. In this work we prove that it is possible to approximate these energies, in the sense of Γ-convergence, by means of a family of non-local functionals defined in Sobolev spaces. Moreover we illustrate some applications for image processing and mechanics.