The natural algorithmic approach of mixed trigonometric-polynomial problems

The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities

One algorithm for testing annulling of mixed trigonometric polynomial functions on boundary points

This paper considers one problem of modern automated theorem provers. While there are many different numerical methods for computation of real roots of polynomials, theorem provers require higher level of assurances of result correctness. In this paper is shown one method that circumvents limitations of application of Sturm’s theorem for such tasks

Sparse Modelling and Multi-exponential Analysis

The research fields of harmonic analysis, approximation theory and computer algebra are seemingly different domains and are studied by seemingly separated research communities. However, all of these are connected to each other in many ways. The connection between harmonic analysis and approximation theory is not accidental: several constructions among which wavelets and Fourier series, provide major insights into central problems in approximation theory. And the intimate connection between approximation theory and computer algebra exists even longer: polynomial interpolation is a long-studied and important problem in both symbolic and numeric computing, in the former to counter expression swell and in the latter to construct a simple data model. A common underlying problem statement in many applications is that of determining the number of components, and for each component the value of the frequency, damping factor, amplitude and phase in a multi-exponential model. It occurs, for instance, in magnetic resonance and infrared spectroscopy, vibration analysis, seismic data analysis, electronic odour recognition, keystroke recognition, nuclear science, music signal processing, transient detection, motor fault diagnosis, electrophysiology, drug clearance monitoring and glucose tolerance testing, to name just a few. The general technique of multi-exponential modeling is closely related to what is commonly known as the Padé-Laplace method in approximation theory, and the technique of sparse interpolation in the field of computer algebra. The problem statement is also solved using a stochastic perturbation method in harmonic analysis. The problem of multi-exponential modeling is an inverse problem and therefore may be severely ill-posed, depending on the relative location of the frequencies and phases. Besides the reliability of the estimated parameters, the sparsity of the multi-exponential representation has become important. A representation is called sparse if it is a combination of only a few elements instead of all available generating elements. In sparse interpolation, the aim is to determine all the parameters from only a small amount of data samples, and with a complexity proportional to the number of terms in the representation. Despite the close connections between these fields, there is a clear lack of communication in the scientific literature. The aim of this seminar is to bring researchers together from the three mentioned fields, with scientists from the varied application domains.Output Type: Meeting Repor

Numerical computing approach for solving Hunter-Saxton equation arising in liquid crystal model through sinc collocation method

In this study, numerical treatment of liquid crystal model described through Hunter-Saxton equation (HSE) has been presented by sinc collocation technique through theta weighted scheme due to its enormous applications including, defects, phase diagrams, self-assembly, rheology, phase transitions, interfaces, and integrated biological applications in mesophase materials and processes. Sinc functions provide the procedure for function approximation over all types of domains containing singularities, semi-infinite or infinite domains. Sinc functions have been used to reduce HSE into an algebraic system of equations that makes the solution quite superficial. These algebraic equations have been interpreted as matrices. This projected that sinc collocation technique is considerably efficacious on computational ground for higher accuracy and convergence of numerical solutions. Stability analysis of the proposed technique has ensured the accuracy and reliability of the method, moreover, as the stability parameter satisfied the condition the proposed solution of the problem converges. The solution of the HSE is presented through graphical figures and tables for different cases that are constructed on various values of θ and collocation points. The accuracy and efficiency of the proposed technique is analyzed on the basis of absolute errors.This research has been partially supported by Ministerio de Ciencia, Innovación y Universidades grant number PGC2018-0971-B-100 and Fundación Séneca -Agencia de Ciencia y Tecnología de la Región de Murcia grant number 20783/PI/18. Also, It has been supported by the National Research Program for Universities (NRPU), Higher Education Commission, Pakistan, No. 8103/Punjab/NRPU/R and D/HEC/2017

The Effect of Malaysia General Election on Financial Network: An Evidence from Shariah-Compliant Stocks on Bursa Malaysia

Instead of focusing the volatility of the market, the market participants should consider on how the general election affects the correlation between the stocks during 14th general election Malaysia. The 14th general election of Malaysia was held on 9th May 2018. This event has a great impact towards the stocks listed on Bursa Malaysia. Thus, this study investigates the effect of 14th general election Malaysia towards the correlation between stock in Bursa Malaysia specifically the shariah-compliant stock. In addition, this paper examines the changes in terms of network topology for the duration, sixth months before and after the general election. The minimum spanning tree was used to visualize the correlation between the stocks. Also, the centrality measure, namely degree, closeness and betweenness were computed to identify if any changes of stocks that plays a crucial role in the network for the duration of before and after 14th general election Malaysia

Analytical and Numerical Methods for Differential Equations and Applications

The book is a printed version of the Special issue Analytical and Numerical Methods for Differential Equations and Applications, published in Frontiers in Applied Mathematics and Statistic

Adapted block hybrid method for the numerical solution of duffing equations and related problems

Problems of non-linear equations to model real-life phenomena have a long history in science and engineering. One of the popular of such non-linear equations is the Duffing equation. An adapted block hybrid numerical integrator that is dependent on a fixed frequency and fixed step length is proposed for the integration of Duffing equations. The stability and convergence of the method are demonstrated; its accuracy and efficiency are also established

Equiconvergence in summation associated with elliptic polinomial

We compare the Fourier integral with the Fourier series in summation associated with elliptic polinomial