a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi te'i'ai
type experimental cmavo
creator krtisfranks
time entered Fri Dec 5 02:46:19 2014

Definition #63894 - Preferred [edit]
selma'o VUhU
definition 6-ary mekso/mathematical operator: Heaviside function/step/Theta function of a, of order b, in structure c, using distribution d, within approximated limit e, with value f_b at 0
notes Explanation: A sequence/family of (strictly monotonically increasingly, ordered) indexed function distributions (d), each of which is of/with respect to/in variable/indeterminant a, is considered; they must have the property that, as the index increases, they converge to some value (described later and determined by b, e, and f_b) for all a. This happens on structure c, which defines what various values and limits mean. b is the 'order' of the result of this convergence (so that it is the bth-order integral (equivalently, -bth-order derivative) of the Heaviside step/Theta function with respect to a so that b = -1 yields the Dirac delta 'function' centered/with interesting point at 0, b = 0 yields the Heaviside step/Theta function with respect to a centered at/with interesting point 0, etc.). Natural numbers (or 0) for b yield a 'special' polynomial (let us call it p) of that order in indeterminant a for all values of a greater than 0 and 0 for all values of a less than 0 so that p(a) = a^b Theta(a). Input e is for when the particular functions in d are of interest and only e of them have been computed (so that, for finite e, the output is not exactly the bth order Heaviside function); in other words, the limit of the family indices is being taken to e; this is of particular importance for negative values of b: |b| > 1, since they will not be identically 0 in some sense (else, all information is lost about the special structure/nature of this function). The contextless defaults are: b = 0, c is the field of real numbers (with absolute value norm and ordering due to signed absolute value), d is bth-order integral of ((1 + y + z * erf(k a / (2^(1/2)) ) ) / 2)-like functions that are properly normalized and are of proper height, e is infinity (countable). Heaviside(0,0,...,f_0) = 1/2 = f_0 is typical and is a contextless default for b = 0 (however, it may in particular be set to 0 or 1 so that the function is left-/right-continuous at a = 0; for values of b other than 0, f_b = 0 is the contextless default; note that f_(-1) must be infinity 'of the proper magnitude' (it cannot be specified to be otherwise). See also: zdeltadirake
jargon type math, physics
gloss words
created by krtisfranks
vote information 1
time Fri Dec 5 02:58:16 2014
[View Comments For This Definition]


Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?