$${\mathcal{M}}$$ -decomposability and symmetric unimodal densities in one dimension

In this paper, we introduce the notion of -decomposability of probability density functions in one dimension. Using -decomposability, we derive an inequality that applies to all symmetric unimodal densities. Our inequality involves only the standard deviation of the densities concerned. The concept of -decomposability can be used as a non-parametric criterion for mode-finding and cluster analysis.     

Failure of hypoellipticity for the canonical solution to $${\bar\partial_b}$$ on some nilpotent Lie groups

In this paper we show that Kohn’s solution to the \({\bar\partial_b}\) problem fails to be hypoelliptic on some class of high codimension submanifolds of \({\mathbb{C}^n}\). The examples presented here carry a Lie group structure which generalize the one-dimensional Heisenberg group.     

Compactness and local compactness for {\mathbb{R}}-trees

We establish (geometric) criteria for an -tree to be compact and to be locally compact. It follows that locally compact -trees are separable. Received: 10 September 2007     

CR-Admissible $$\mathbb{{Z}}_{2}$$-gradations and CR-symmetries

Complementing the results of (Lotta and Nacinovich, Adv. Math. 191(1): 114–146, 2005), we show that the minimal orbit M of a real form G of a semisimple complex Lie group in a flag manifold is CR-symmetric (see (Kaup and Zaitsev Adv. Math. 149(2):145–181, 2000)) if and only if the corresponding CR algebra admits a gradation compatible with the CR structure.      

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

Some problems in metric fixed point theory

Three papers, published coincidentally and independently by Felix Browder, Dietrich G?hde, and W. A. Kirk in 1965, triggered a branch of mathematical research now called metric fixed point theory. This is a survey of some of the highlights of that theory, with a special emphasis on some of the problems that remain open. Dedicated to Felix Browder on the occasion of his 80th birthday     

Quasilinearization and curvature of Aleksandrov spaces

We present a new distance characterization of Aleksandrov spaces of non-positive curvature. By introducing a quasilinearization for abstract metric spaces we draw an analogy between characterization of Aleksandrov spaces and inner product spaces; the quasi-inner product is defined by means of the quadrilateral cosine—a metric substitute for the angular measure between two directions at different points. Our main result states that a geodesically connected metric space is an Aleksandrov domain (also known as a CAT(0) space) if and only if the quadrilateral cosine does not exceed one for every two pairs of distinct points in . We also observe that a geodesically connected metric space is an domain if and only if, for every quadruple of points in , the quadrilateral inequality (known as Euler’s inequality in ) holds. As a corollary of our main result we give necessary and sufficient conditions for a semimetric space to be an domain. Our results provide a complete solution to the Curvature Problem posed by Gromov in the context of metric spaces of non-positive curvature.      

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

Approximately solving multiobjective linear programmes in objective space and an application in radiotherapy treatment planning

In this paper, we propose a modification of Benson’s algorithm for solving multiobjective linear programmes in objective space in order to approximate the true nondominated set. We first summarize Benson’s original algorithm and propose some small changes to improve computational performance. We then introduce our approximation version of the algorithm, which computes an inner and an outer approximation of the nondominated set. We prove that the inner approximation provides a set of -nondominated points. This work is motivated by an application, the beam intensity optimization problem of radiotherapy treatment planning. This problem can be formulated as a multiobjective linear programme with three objectives. The constraint matrix of the problem relies on the calculation of dose deposited in tissue. Since this calculation is always imprecise solving the MOLP exactly is not necessary in practice. With our algorithm we solve the problem approximately within a specified accuracy in objective space. We present results on four clinical cancer cases that clearly illustrate the advantages of our method.     

The G-Fredholm Property of the \bar{\partial} -Neumann Problem

Let G be a unimodular Lie group, X a compact manifold with boundary, and M be the total space of a principal bundle G→M→X so that M is also a strongly pseudoconvex complex manifold. In this work, we show that if G acts by holomorphic transformations in M, then the Laplacian on M has the following properties: The kernel of □ restricted to the forms Λ ^p,q with q>0 is a closed, G-invariant subspace in L ²(M,Λ ^p,q ) of finite G-dimension. Secondly, we show that if q>0, then the image of □ contains a closed, G-invariant subspace of finite G-codimension in L ²(M,Λ ^p,q ). These two properties taken together amount to saying that □ is a G-Fredholm operator. It is a corollary of the first property mentioned that the reduced L ²-Dolbeault cohomology spaces of M are finite G-dimensional for q>0. The boundary Laplacian □ _b has similar properties.      

Fixed points in {\mathcal{M}}-fuzzy metric spaces

In this paper, we give some common fixed point theorems for five mappings satisfying some conditions in -fuzzy metric spaces.     

Lawvere Completeness in Topology

It is known since 1973 that Lawvere’s notion of Cauchy-complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this paper, we introduce the corresponding notion of Lawvere completeness for (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories and show that it has an interesting meaning for topological spaces and quasi-uniform spaces: for the former ones it means weak sobriety while for the latter it means Cauchy completeness. Further, we show that V\mathsf{V} has a canonical (\mathbbT,V)(\mathbb{T},\mathsf{V})-category structure which plays a key role: it is Lawvere-complete under reasonable conditions on the setting; this structure permits us to define a Yoneda embedding in the realm of (\mathbbT,V)(\mathbb{T},\mathsf{V})-categories.     

Dirichlet Problem at Infinity for $\mathcal A$-Harmonic Functions

We study the Dirichlet problem at infinity for -harmonic functions on a Cartan–Hadamard manifold M and give a sufficient condition for a point at infinity x ₀∈M(∞) to be -regular. This condition is local in the sense that it only involves sectional curvatures of M in a set U∩M, where U is an arbitrary neighborhood of x ₀ in the cone topology. The results apply to the Laplacian and p-Laplacian, 1<p<∞, as special cases.      

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

An algorithm for matching point sets using the l_1 norm

The problem is considered of matching two sets of points in , by translation and rotation. There are many applications, for example in geodesy, computer vision and in the assessment of manufactured parts. When the matching criterion is least squares, there is a well known solution process based on the singular value decomposition of an matrix. Here we consider the use of the norm, which may be more appropriate than least squares in the context of wild points in the data. An algorithm is developed, and is illustrated by some examples for the case .     

The $\bar{\partial}$ -Approach to Monochromatic Inverse Scattering in Three Dimensions

We discuss a method for monochromatic inverse scattering in three dimensions of [Novikov in Int. Math. Res. Papers 2005(6):287–349, [2005]] and implemented numerically in [Alekseenko et al. in Acoust. J. 54(3), [2008]]. This method is obtained as a development of the -approach to inverse scattering at fixed energy in dimension d≥3 of [Beals and Coifman in Proc. Symp. Pure Math. 43:45–70, [1985]] and [Henkin and Novikov in Usp. Mat. Nauk 42(3):93–152, [1987]] and involves, in particular, some results of [Faddeev in Itogi Nauki Tech. Sovr. Prob. Math. 3:93–180, [1965], [1974]] and some ideas of the soliton theory (in particular, some ideas going back to [Manakov in Usp. Mat. Nauk 31(5):245–246, [1976]] and [Dubrovin et al. in Dokl. Akad. Nauk SSSR 229:15–18, [1976]]). Also, our studies go back, in particular, to [Regge in Nuovo Cimento 14:951–976, [1959]]. This article is an extended version of the talk given at International Conference in Mathematics in honor of G. Henkin at the occasion of his 65th birthday.      

Two-parameter p, q-variation Paths and Integrations of Local Times

In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter -variation path integrals. Our condition of locally bounded -variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time pathwise and then give generalized It’s formula when is only of bounded -variation in . In the case that is of locally bounded variation in , the integral is the Lebesgue–Stieltjes integral and was used by Elworthy, Truman and Zhao. When is of only locally -variation, where , , and , the integral is a two-parameter Young integral of -variation rather than a Lebesgue–Stieltjes integral. In the special case that is independent of , we give a new condition for Meyer's formula and is defined pathwise as a Young integral. For this we prove the local time is of -variation in for each , for each almost surely (-variation in the sense of Lyons and Young, i.e. ).     

Endpoint Properties of Localized Riesz Transforms and Fractional Integrals Associated to Schrödinger Operators

Let \({\mathcal L}\equiv-\Delta+V\) be the Schrödinger operator in \({{\mathbb R}^n}\), where V is a nonnegative function satisfying the reverse Hölder inequality. Let ρ be an admissible function modeled on the known auxiliary function determined by V. In this paper, the authors characterize the localized Hardy spaces \(H^1_\rho({{\mathbb R}^n})\) in terms of localized Riesz transforms and establish the boundedness on the BMO-type space \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) of these operators as well as the boundedness from \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) to \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) of their corresponding maximal operators, and as a consequence, the authors obtain the Fefferman–Stein decomposition of \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) via localized Riesz transforms. When ρ is the known auxiliary function determined by V, \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) is just the known space \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\), and \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) in this case is correspondingly denoted by \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\). As applications, when n?≥?3, the authors further obtain the boundedness on \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) of Riesz transforms \(\nabla{\mathcal L}^{-1/2}\) and their adjoint operators, as well as the boundedness from \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) to \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\) of their maximal operators. Also, some endpoint estimates of fractional integrals associated to \({\mathcal L}\) are presented.     

Independence and convergence in non-additive settings

Some properties of convergence for archimedean t-conorms and t-norms are investigated and a definition of independence for events, evaluated by a decomposable measure, is introduced. This definition generalizes the concept of independence provided by Kruse and Qiang for λ-additive fuzzy measures. Finally, we derive the two Borel–Cantelli lemmas in the context of the general framework considered.     

Fundamentals for symplectic $$ \mathcal{A} $$-modules. Affine Darboux theorem

In his [9–11], the first author shows that the sheaf-theoreti-cally based Abstract Differential Geometry incorporates and generalizes classical differential geometry. Here, we undertake to explore the implications of Abstract Differential Geometry to classical symplectic geometry. The full investigation will be presented elsewhere.