Nadel's Subschemes of Fano Manifolds X with a Picard Group Pic(X) Isomorphic to Z

∗The author supported by Contract NSFR MM 402/1994.

Mean-Periodic Solutions of Retarded Functional Differential Equations

In this paper we present a spectral criterion for existence of mean-periodic solutions of retarded functional differential equations with a time-independent main part.

Realization of an Optimal Schedule for the Two-machine Flow-Shop with Interval Job Processing Times

Non-preemptive two-machine flow-shop scheduling problem with uncertain processing times of n jobs is studied. In an uncertain version of a scheduling problem, there may not exist a unique schedule that remains optimal for all possible realizations of the job processing times. We find necessary and sufficient conditions (Theorem 1) when there exists a dominant permutation that is optimal for all possible realizations of the job processing times. Our computational studies show the percentage of the problems solvable under these conditions for the cases of randomly generated instances with n ≤ 100 . We also show how to use additional information about the processing times of the completed jobs during optimal realization of a schedule (Theorems 2 – 4). Computational studies for randomly generated instances with n ≤ 50 show the percentage of the two- machine flow-shop scheduling problems solvable under the sufficient conditions given in Theorems 2 – 4.

On the Range of the Fourier Transform Associated with the Spherical Mean Operator

We characterize the range of some spaces of functions by the Fourier transform associated with the spherical mean operator R and we give a new description of the Schwartz spaces. Next, we prove a Paley-Wiener and a Paley-Wiener-Schawrtz theorems.

An Analogue of Beurling-Hörmander’s Theorem for the Dunkl-Bessel Transform

Mathematics Subject Classification: Primary 35R10, Secondary 44A15

Spectrum of Functions for the Dunkl Transform on R^d

Mathematics Subject Classification: 42B10

Generalized Convolution Transforms and Toeplitz Plus Hankel Integral Equations

Mathematics Subject Classification: 44A05, 44A35

Nonlinear Waves: An Introduction

This book deals with equations of mathematical physics as the different modifications of the KdV equation, the Camassa-Holm type equations, several modifications of Burger's equation, the Hunter-Saxton equation, conservation laws equations and others. The equations originate from physics but are proposed here for their investigation via purely mathematical methods in the frames of university courses. More precisely, we propose classification theorems for the traveling wave solutions for a sufficiently large class of third order nonlinear PDE when the corresponding profiles develop different kind of singularities (cusps, peaks), existence and uniqueness results, etc. The orbital stability of the periodic solutions of traveling type for mKdV equations are also studied. Of great interest too is the interaction of peakon type solutions of the Camassa-Holm equation and the solvability of the classical and generalized Cauchy problem for the Hunter-Saxton equation. The Riemann problem for special systems of conservation laws and the corresponding -shocks are also considered. As it concerns numerical methods we apply the CNN approach. The book is addressed to a broader audience including graduate students, Ph.D. students, mathematicians, physicist, engineers and specialists in the domain of PDE.

Computer-Assisted Proofs and Symbolic Computations

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To demonstrate the power of reliable symbolic-numeric computations we investigate in some details the verification of very long periodic orbits of chaotic dynamical systems. The verification is done directly in Maple, e.g. using the Maple Power Tool intpakX or, more efficiently, using the C++ class library C-XSC.

Well-Posedness of Diffusion-Wave Problem with Arbitrary Finite Number of Time Fractional Derivatives in Sobolev Spaces H^s

Mathematics Subject Classification 2010: 26A33, 33E12, 35S10, 45K05.

Impulsive Partial Hyperbolic Functional Differential Equations of Fractional Order with State-Dependent Delay

MSC 2010: 26A33, 34A37, 34K37, 34K40, 35R11

Anti-Periodic Boundary Value Problem for Impulsive Fractional Integro Differential Equations

MSC 2010: 34A37, 34B15, 26A33, 34C25, 34K37

On the Quotient Function Employed in the Blind Source Separation Problem

MSC 2010: 42C40, 94A12

Linearly Normal Curves in P^n

2000 Mathematics Subject Classification: 14H45, 14H50, 14J26.

Голяма идея – все още с малка популярност

Bahsen Ismailova-Isufova, Ridvan Isufov - In this paper it is described the birth and the growth during the last 50 years of the idea for the systematization of definitions and theorems based on the activities which can be done with them. Also there are methods to include the personal computers in this activity and to continue the research of the role for extending the heuristics abilities of students.