File:Brjuno function.png

Uploaded by Soul windsurfer
Upload date 2021-09-30T14:53:11Z
MIME type image/png
Dimensions 1000 × 1000 px
File size 25.7 KB

Summary

Description
English: Brjuno function. It has the asymmetric logarithmic singularities at rational points.[1]
Date
Source own work. Maxima CAS code by user slitvinov[2]
Author Adam majewski
Other versions

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.


Maxima CAS src code

/*

https://stackoverflow.com/questions/69289026/how-to-compute-brjuno-function-in-maxima-cas/69369529#69369529

slitvinov :  I used an equation from wikipedia and a continued fraction approximation:

*/


kill(all);
remvalue(all);


cflength: 20 $ /* Default value: 1 */

cf2num(e):=ev(cfdisrep(e), numer, infeval) $


B(x):= if length(x)=1 
	then 0 
	else (x[1]: 0, -log(cf2num(x))+cf2num(x)*B(rest(x)));
	




iMax:  10000;  /* number of points to compute */

a: 0.997865394128713086 / iMax; /* it should be  1/iMax  */

/* list of points  x  ( real values )  in [0.0 , 1.0 ] range */
x: makelist(i*a, i, 1, iMax)$

/* list of continued fractions of points x   */
c: map(cf, x) $

/* list of Brjuno function values */
y: map(B, c) $



/*-----------------------------------------------------------------------*/


path:"~/Dokumenty/brjuno/"$  /*  if empty then file is in a home dir */

 /* draw = ( interface to gnuplot ) by Mario Rodriguez Riotorto http://www.telefonica.net/web2/biomates */



draw2d(

	title = "Brjuno function",
	terminal  = png,
	dimensions = [1000,1000],    /* Since Maxima 5.23, pic_width and pic_height are deprecated. */
	xrange = [0.0, 1.0],
	yrange = [0.0, 8.0],
    	user_preamble = "", /*    */
    	file_name = concat(path ,"bb"),
    	point_type    = filled_circle, 
    	points_joined = false,
    	point_size    = 0.5,
    	key="",
    	color = blue,
    	
    	xlabel     = "x",
    	ylabel     = "B(x)",
	points(x, y)
	
	)$

references

  1. Regularity properties of k-Brjuno and Wilton functions by Seul Bee Lee, Stefano Marmi, Izabela Petrykiewicz, Tanja I. Schindler
  2. stackoverflow question : how-to-compute-brjuno-function-in-maxima-cas

Captions

Brjuno function

Items portrayed in this file

depicts

29 September 2021

image/png

b350a94b547579feaf12e042ab45d017bad1b910

26,333 byte

1,000 pixel

1,000 pixel

Category:CC-BY-SA-4.0 Category:Function plots Category:Gnuplot graphics Category:Images with Maxima CAS source code Category:Number theory Category:Self-published work Category:Special functions